2014-02-09
347
– не есть формула, так как неправильно стоят скобки,
– не стоят скобки вообще (не определен порядок выполнения).
Сопоставим формуле 
функцию 
.
Определение. Функцию
называют симметричной по переменным 
, если для " подстановки переменных с индексами 
на переменные с индексами 
.
Основные эквивалентности (равенства) алгебры логики
1) коммутативность 
;
2) ассоциативность 
;
3) дистрибутивность
а)
;
б) 
;
в) 
;
4) правила де - Моргана
а) 
;
б) 
;
5) правила поглощения
(следуют из свойства дистрибутивности)
а) 
;
б) 
;
6) закон Блейка-Порецкого (поглощения)
а) 
;
б) 
;
7) законы, определяющие действия с логическими константами,
а) 
;
б) 
;
в) 
;
г)
;
д) 
(закон двойного отрицания);
8) Правила свертки (склеивания)
а) 
;
б) 
в) 
9) Выражение операций 
через три основные
а)
;
б) 
;
в) 
;
г)
;
д)
.
