Для заданной формулы F = (¬A ∧ ¬B) ∨ (C ∧ D) необходимо построить полную таблицу истинности. Это означает, что нужно рассмотреть все возможные комбинации значений переменных A, B, C и D (каждая из которых может быть либо истинной (1), либо ложной (0)), и для каждой комбинации вычислить значение выражения F.
Так как у нас 4 переменные, то в таблице будет 2^4 = 16 строк.
Вот как выглядит таблица истинности:
| A |
B |
C |
D |
¬A |
¬B |
¬A ∧ ¬B |
C ∧ D |
(¬A ∧ ¬B) ∨ (C ∧ D) |
| 0 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
1 |
| 0 |
0 |
0 |
1 |
1 |
1 |
1 |
0 |
1 |
| 0 |
0 |
1 |
0 |
1 |
1 |
1 |
0 |
1 |
| 0 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
| 0 |
1 |
0 |
0 |
1 |
0 |
0 |
0 |
0 |
| 0 |
1 |
0 |
1 |
1 |
0 |
0 |
0 |
0 |
| 0 |
1 |
1 |
0 |
1 |
0 |
0 |
0 |
0 |
| 0 |
1 |
1 |
1 |
1 |
0 |
0 |
1 |
1 |
| 1 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
| 1 |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
0 |
| 1 |
0 |
1 |
0 |
0 |
1 |
0 |
0 |
0 |
| 1 |
0 |
1 |
1 |
0 |
1 |
0 |
1 |
1 |
| 1 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
| 1 |
1 |
0 |
1 |
0 |
0 |
0 |
0 |
0 |
| 1 |
1 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
| 1 |
1 |
1 |
1 |
0 |
0 |
0 |
1 |
1 |