Разберем выражение \(
eg(A \lor C) \lor (B \land
eg C)\) по частям. Сначала найдем значения \(A \lor C\), затем \(
eg(A \lor C)\). После этого найдем значения \(
eg C\), затем \(B \land
eg C\). И наконец, найдем значение всего выражения \(
eg(A \lor C) \lor (B \land
eg C)\).
| A | B | C | \(A \lor C\) | \(
eg(A \lor C)\) | \(
eg C\) | \(B \land
eg C\) | \(
eg(A \lor C) \lor (B \land
eg C)\) |
|---|---|---|-----------------|----------------------|------------|--------------------|---------------------------------------|
| 0 | 0 | 0 | 0 | 1 | 1 | 0 | 1 |
| 0 | 0 | 1 | 1 | 0 | 0 | 0 | 0 |
| 0 | 1 | 0 | 0 | 1 | 1 | 1 | 1 |
| 0 | 1 | 1 | 1 | 0 | 0 | 0 | 0 |
| 1 | 0 | 0 | 1 | 0 | 1 | 0 | 0 |
| 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 |
| 1 | 1 | 0 | 1 | 0 | 1 | 1 | 1 |
| 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 |
Таким образом, заполненная таблица истинности выглядит следующим образом:
| A |
B |
C |
\( eg(A \lor C) \lor (B \land eg C)\) |
| 0 |
0 |
0 |
1 |
| 0 |
0 |
1 |
0 |
| 0 |
1 |
0 |
1 |
| 0 |
1 |
1 |
0 |
| 1 |
0 |
0 |
0 |
| 1 |
0 |
1 |
0 |
| 1 |
1 |
0 |
1 |
| 1 |
1 |
1 |
0 |