X Y Z Y - элементарная конъюнкция трех переменных:
Для булевой функции пяти переменных число различных наборов переменных равно 32:
Из двух высказываний "Х" и "не Х" истинно ровно одно:
Каждая формула задает единственную функцию:
Каждая формула представляет единственную булеву функцию:
Конъюнкция "А" и "не А" - тавтология:
Конъюнкция Х и 0 равна 0:
Любая функция может быть представлена единственной формулой:
Совершенная дизъюнктивная нормативная форма - дизъюнкция всех элементарных конъюнкций , соответствующих тем строкам таблицы, на которых функция равна 1:
Формула - выражение, правильно построенное из символов переменных и констант с помощью знаков операций:
Функция эквивалентности совпадает с дизъюнкцией прямой и обратной импликаций:
Число булевых функций одной переменной f(X) равно 8:
Число булевых функций пяти переменных равно 2 в степени 32:
Число элементарных конъюнкций в СДНФ функции импликации X и Y равно 3:
Элементарная конъюнкция как функция трех переменных принимает значение 0 на единственном наборе: