Основные равносильности. Закон двойного отрицания. Идемпотентность. Коммутативность. Ассоциативность. Дистрибутивность. Законы де Моргана. Формулы с константами. Дополнительные равносильности
Основные элементарные булевы функции от двух переменных
|
| конъюнк
ция
| дизъюнк
ция
| имплика
ция
| эквивалентность
| сложение по модулю два
| стрелка
Пирса
| штрих
Шеффера
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Основные равносильности
Закон двойного отрицания
.
Идемпотентность
, .
Коммутативность
, ,
Ассоциативность
, .
Дистрибутивность
, .
Законы де Моргана
, .
Формулы с константами
, , ,
, , .
Дополнительные равносильности
,
,
,
,
,
,
,
,
, (законы склеивания),
(закон поглощения).
(закон обобщенного склеивания).
|