Глобальные варианты «А» и «Б» — на ваш выбор.

Написать программу, делающую следующее:

С клавиатуры вводится:

А) восемь чисел — нолей или единиц;
Б) число n от 1 до 8, затем 2ⁿ чисел — нолей или единиц.

Это таблица истинности некоторой А) тернарной Б) n-арной функции.

Для данной функции:

1. Вывести её КНФ.
2. Вывести её ДНФ.
3. Вывести, верно ли, что она сохраняет 0.
4. Вывести, верно ли, что она сохраняет 1.
5. Вывести, верно ли, что она монотонная.
6. Вывести, верно ли, что она самодвойственная.
7. Вывести, верно ли, что она линейная.
8. Вывести, верно ли, что эта функция (в одиночку) является базисом.

Пример: тернарное «ИЛИ»

Ввод:

0
1
1
1
1
1
1
1

Вывод:

КНФ: (¬a∧¬b∧c)∨(¬a∧b∧¬c)∨(¬a∧b∧c)∨(a∧¬b∧¬c)∨(a∧¬b∧c)∨(a∧b∧¬c)∨(a∧b∧c)
ДНФ: (a∨b∨c)
Функция
- сохраняет 0;
- сохраняет 1;
- монотонная;
- не самодвойственная;
- не линейная;
- не является базисом.