Функции в булевой алгебре. Изучение формул алгебры логики

Bn → B, где B = {0,1} (булево множество). Элементы булева множества можно интерпретировать как логические значения: “ложь” и “истина” соответственно, а переменные, принимающие их значение, называются булевыми переменными.

 Булева функция задается конечным набором значений, что позволяет представить ее в виде таблицы истинности:

Представление Булевой функции
в виде логической схемы.
(Boolean Circuit)

из элементарных высказываний посредством применения логических операций отрицания, конъюнкции, дизъюнкции, импликации и эквиваленции называется формулой алгебры логики.

С помощью логических операций над высказываниями из заданной
совокупности высказываний можно строить различные сложные высказывания.

Пример сложного высказывания
с таблицей истиности

Формула, истинная при всех значениях входящих в нее переменных, называется тождественно истинной или тавтологией. Формула, ложная при всех значениях входящих в нее переменных, называется тождественно ложной или противоречием.

пример работы данного кода и разобрать детали его работы.
-Изучить формулы булевой алгебры для решения функций алгебры логики.
- Изучить теоретический материал по языку C# для написания данной программы.

программы. После
ввода кол-ва переменных, булевой
функции можно приступать к
исследованию по нажатию
соответствующих кнопок на
интерфейсе окна.

Вся информация будет выводиться
на экран в заранее отведенные окна.

переменных в 1 строку
Вводим функцию в 2 строку
Жмем на кнопку “Вывести таблицы истиности”

на кнопку СКНФ, и не получаем ответа, поскольку
вся функция принимает только “истинные” значения

5) Жмем на кнопку “Карты Карно” и получаем
ответ в нижнем окне
6) Жмем на кнопку Полином Жегалкина и получаем схематичный треугольник с ответом на наш вопрос