Равносильные формулы

Пусть X и Y – формулы алгебры высказываний, а х₁…..х_n – набор простых высказываний, входящих хотя бы в одну из формул. Формулы X и Y будем называть равносильными, если при всех значениях истинности х₁…..х_n значения истинности совпадают. равносильность обозначается ., но знак = ошибкой не будет.

Отношение равносильности является рефлексивным, симметричным и транзитивным.

Перечислим основные равносильности:

1. Двойное отрицание ;

2. Коммутативность

3. Дистрибутивность

4. Ассоциативность

11. Идемпотентность

·

·

12. Свойства констант

·

·

·

·

·

·

13. Правила де Моргана

·

·

14. Закон противоречия\

·

15. Закон исключенного третьего

·