Алгебра логики
Алгебра, образованная множеством B = {0,1} вместе со всеми операциями на нем называется алгеброй логики. Функцией алгебры логики от n переменных называется n-местная операция, задающая отображение B n на B.
Функции алгебры логики А 01 10
AB
AB
AB
Пропозициональные формулы
Соглашение о порядке операций. Операции выполняются в следующем порядке 1.Скобки 2.Отрицания 3.Конъюнкция 4.Дизъюнкция 5.Импликация 6.Эквиваленция Внутри группы операции выполняются слева направо
Соглашение о порядке операций
Польская нотация
Вычисление формул
Таблицы истинности xyp
Равносильность
Свойства отношения равносильности Рефлексивность: А = А Симметричность: Если А = B, то B = A Транзитивность: А = B и B = C, то A = C
Теорема об эквивалентной замене
Основные тождества алгебры логики.
Двойственные функции
Свойства двойственных функций