Для построения таблицы истинности для выражения ¬x ∧ ¬y ∧ ¬z (где ¬ обозначает логическое "НЕ", а ∧ логическое "И"), начнем с идентификации всех возможных значений переменных x, y и z. Поскольку каждая переменная может принимать два значения (истина - 1 или ложь - 0), мы будем иметь 2^3 = 8 комбинаций значений переменных.
Вот таблица истинности:
| x | y | z | ¬x | ¬y | ¬z | ¬x ∧ ¬y ∧ ¬z |
|---|---|---|---|---|---|---|
| 0 | 0 | 0 | 1 | 1 | 1 | 1 |
| 0 | 0 | 1 | 1 | 1 | 0 | 0 |
| 0 | 1 | 0 | 1 | 0 | 1 | 0 |
| 0 | 1 | 1 | 1 | 0 | 0 | 0 |
| 1 | 0 | 0 | 0 | 1 | 1 | 0 |
| 1 | 0 | 1 | 0 | 1 | 0 | 0 |
| 1 | 1 | 0 | 0 | 0 | 1 | 0 |
| 1 | 1 | 1 | 0 | 0 | 0 | 0 |
В последнем столбце мы видим результат операции ¬x ∧ ¬y ∧ ¬z. Она равна 1 (истина) только в строке, где все переменные x, y и z равны 0 (ложь). В остальных случаях результат равен 0 (ложь).