В предыдущей лекции (https://zen.yandex.ru/media/id/603a418d1684900aa2499416/vyskazyvaniia-i-operacii-nad-nimi-62387ae3fafc15385fd4161e) рассматривались основные операции Логики высказываний: унарная операция – отрицание (она же инверсия), бинарные логические операции: конъюнкция, дизъюнкция, импликация и эквавалентность. В этой лекции рассмотрим ещё несколько бинарных операций над высказываниями, а также определим понятие «Таблица истинности». В результате изучения этой лекции предполагается, что...

В лекции сформулируем основные понятия, связанные с булевыми функциями, а также представим алгоритм построения сокращённой булевой функции. Заметим, что: Способы задания булевых функций Способ 1. При задании булевых функций удобно пользоваться таблицами истинности, которые перечисляют всевозможные комбинации истинности и ложности булевых функций: Минимизация дизъюнктивных нормальных форм Определение. Булеву функцию G назовем импликантом булевой функции F, если для любых наборов значений аргументов этих функций из равенства G = 1 следует равенство F = 1...