Равносильные формулы алгебры логики.
Важнейшие равносильности алгебры логики можно разбить на 3 группы:
1. Основные равносильности:
![](images/formula2/21.jpg)
2. Равносильности выражающие одни логические операции через другие:
![](images/formula2/22.jpg)
3. Равносильности выражающие основные законы алгебры логики:
![](images/formula2/23.jpg)
Доказать равносильности:
а) построив таблицы истинности
б) используя основные равносильности
![](images/formula2/24.jpg)
4. Используя основные равносильности алгебры логики докажите равносильность формул V и U:
![](images/formula2/25.jpg)
|