Давайте построим таблицы истинности для каждого из выражений.
1) А или В и не А
Для начала уточним порядок операций. Операция "и" имеет более высокий приоритет, чем "или", так что выражение можно переписать как:
[ A \lor (B \land \neg A) ]
Теперь построим таблицу:
A | B | ¬A | B ∧ ¬A | A ∨ (B ∧ ¬A) |
0 | 0 | 1 | 0 | 0 |
0 | 1 | 1 | 1 | 1 |
1 | 0 | 0 | 0 | 1 |
1 | 1 | 0 | 0 | 1 |
2) (А и В) или не А
Опять же, сначала уточним порядок действий:
[ (A \land B) \lor \neg A ]
Таблица истинности будет выглядеть так:
A | B | A ∧ B | ¬A | (A ∧ B) ∨ ¬A |
0 | 0 | 0 | 1 | 1 |
0 | 1 | 0 | 1 | 1 |
1 | 0 | 0 | 0 | 0 |
1 | 1 | 1 | 0 | 1 |
3) не ( не А и В)
Сначала разберем внутреннюю часть:
[ \neg ( \neg A \land B) ]
Таблица истинности:
A | B | ¬A | ¬A ∧ B | ¬(¬A ∧ B) |
0 | 0 | 1 | 0 | 1 |
0 | 1 | 1 | 1 | 0 |
1 | 0 | 0 | 0 | 1 |
1 | 1 | 0 | 0 | 1 |
Каждая из таблиц дает полное представление о том, как значения истинности переменных А и В влияют на результаты вычисления логических выражений.