2015-10-14
129
Таблица истинности для формулы 
приведена в табл. 8.8:
Таблица истинности для примера 2
Таблица 8. 8
| Переменные | Промежуточные логические формулы | Формула | ||||
| 
| 
| 
| 
| 
|
|
Из таблицы видно, что при всех наборах значений переменных x и y
формула принимает значение 0, то есть является тождественно ложной.
Пример 3
Таблица истинности для формулы 
приведена в табл. 8.9:
Таблица истинности для примера 3
Таблица 8. 9
| Переменные | Промежуточные логические формулы | Формула | ||||||
|
|
| 
|
| 
| 
| 
| 
|
|
Из таблицы видно, что формула в некоторых случаях принимает значение 1, а в некоторых — 0, то есть является выполнимой.
|
|
|
