В работе используются следующие соглашения:
Обозначения для логических операций
а) отрицание (инверсия, логическое НЕ) обозначается ¬ (например, ¬A);
b) конъюнкция (логическое умножение, логическое И) обозначается ∧ (например, A ∧ B);
c) дизъюнкция (логическое сложение, логическое ИЛИ) обозначается ∨ (например, A ∨ B).
Составим таблицу истинности для выражения $$A \land (A \lor B)$$.
| A |
B |
A ∨ B |
A ∧ (A ∨ B) |
| 0 |
0 |
0 |
0 |
| 0 |
1 |
1 |
0 |
| 1 |
0 |
1 |
1 |
| 1 |
1 |
1 |
1 |
Ответ:
| A |
B |
A ∧ (A ∨ B) |
| 0 |
0 |
0 |
| 0 |
1 |
0 |
| 1 |
0 |
1 |
| 1 |
1 |
1 |