Заполним таблицу истинности для выражения $$B \rightarrow
eg(A \land B \land C)$$.
Сначала определим значения для $$A \land B \land C$$, затем для $$
eg(A \land B \land C)$$, и наконец для всего выражения.
| A | B | C | $$A \land B \land C$$ | $$ eg(A \land B \land C)$$ |
$$B \rightarrow eg(A \land B \land C)$$ |
|---|---|---|---|---|---|
| 0 | 0 | 0 | 0 | 1 | 1 |
| 0 | 0 | 1 | 0 | 1 | 1 |
| 0 | 1 | 0 | 0 | 1 | 1 |
| 0 | 1 | 1 | 0 | 1 | 1 |
| 1 | 0 | 0 | 0 | 1 | 1 |
| 1 | 0 | 1 | 0 | 1 | 1 |
| 1 | 1 | 0 | 0 | 1 | 1 |
| 1 | 1 | 1 | 1 | 0 | 0 |