Читайте также:
|
1. Составим таблицу истинности для формулы 
, которая содержит две переменные x и y. В первых двух столбцах таблицы запишем четыре возможных пары значений этих переменных, в последующих столбцах — значения промежуточных формул и в последнем столбце — значение формулы. В результате получим таблицу:
| Переменные | Промежуточные логические формулы | Формула | ||||
| 
| 
| 
| 
| 
|
|
| 0 | 0 | 0 | 0 | 1 | 0 | 0 |
| 0 | 1 | 0 | 1 | 0 | 1 | 1 |
| 1 | 0 | 1 | 1 | 0 | 1 | 1 |
| 1 | 1 | 1 | 1 | 0 | 1 | 1 |
Из таблицы видно, что формула в некоторых случаях принимает значение 1, а в некоторых — 0, то есть является выполнимой.
2. ^ Таблица истинности для формулы 
:
| Переменные | Промежуточные логические формулы | Формула | ||||
|
|
|
| 
| 
| 
|
|
| 0 | 0 | 0 | 1 | 1 | 0 | 0 |
| 0 | 1 | 1 | 0 | 0 | 0 | 0 |
| 1 | 0 | 1 | 0 | 1 | 1 | 0 |
| 1 | 1 | 1 | 0 | 0 | 0 | 0 |
Из таблицы видно, что при всех наборах значений переменных x и y формула принимает значение 0, то есть является тождественно ложной.
^
Дата добавления: 2014-12-18; просмотров: 35 | Поможем написать вашу работу | Нарушение авторских прав |