Давайте заполним таблицу истинности для выражения $$B \land
eg (A \lor
eg(B \land C))$$.
| A | B | C | $$B \land C$$ | $$
eg (B \land C)$$ | $$A \lor
eg (B \land C)$$ | $$
eg(A \lor
eg(B \land C))$$ | $$B \land
eg(A \lor
eg(B \land C))$$ |
|---|---|---|-----------------|----------------------|--------------------------|---------------------------|-----------------------------------------|
| 0 | 0 | 0 | 0 | 1 | 1 | 0 | 0 |
| 0 | 0 | 1 | 0 | 1 | 1 | 0 | 0 |
| 0 | 1 | 0 | 0 | 1 | 1 | 0 | 0 |
| 0 | 1 | 1 | 1 | 0 | 0 | 1 | 1 |
| 1 | 0 | 0 | 0 | 1 | 1 | 0 | 0 |
| 1 | 0 | 1 | 0 | 1 | 1 | 0 | 0 |
| 1 | 1 | 0 | 0 | 1 | 1 | 0 | 0 |
| 1 | 1 | 1 | 1 | 0 | 1 | 0 | 0 |
Ответ:
| A | B | C | $$B \land
eg (A \lor
eg(B \land C))$$ |
|---|---|---|-----------------------------------------|
| 0 | 0 | 0 | 0 |
| 0 | 0 | 1 | 0 |
| 0 | 1 | 0 | 0 |
| 0 | 1 | 1 | **1** |
| 1 | 0 | 0 | 0 |
| 1 | 0 | 1 | 0 |
| 1 | 1 | 0 | 0 |
| 1 | 1 | 1 | 0 |