Составим таблицу истинности для выражения \(
eg (B \wedge
eg A)\):
| A | B | ¬A | B ∧ ¬A | ¬(B ∧ ¬A) |
|---|---|----|---------|-----------|
| 0 | 0 | 1 | 0 | 1 |
| 0 | 1 | 1 | 1 | 0 |
| 1 | 0 | 0 | 0 | 1 |
| 1 | 1 | 0 | 0 | 1 |
Ответ:
| A | B | ¬(B ∧ ¬A) |
|---|---|-----------|
| 0 | 0 | 1 |
| 0 | 1 | 0 |
| 1 | 0 | 1 |
| 1 | 1 | 1 |