Примеры. – не есть формула, так как неправильно стоят скобки

– не есть формула, так как неправильно стоят скобки,

– не стоят скобки вообще (не определен порядок выполнения).

Сопоставим формуле функцию .

Определение. Функциюназывают симметричной по переменным , если для " подстановки переменных с индексами на переменные с индексами

.

Основные эквивалентности (равенства) алгебры логики

1) коммутативность ;

2) ассоциативность ;

3) дистрибутивность

а);

б) ;

в) ;

4) правила де - Моргана

а) ;

б) ;

5) правила поглощения

(следуют из свойства дистрибутивности)

а) ;

б) ;

6) закон Блейка-Порецкого (поглощения)

а) ;

б) ;

7) законы, определяющие действия с логическими константами,

а) ;

б) ;

в) ;

г);

д) (закон двойного отрицания);

8) Правила свертки (склеивания)

а) ;

б)

в)

9) Выражение операций через три основные

а);

б) ;

в) ;

г);

д).