Таблицы истинности для логических выражений
Для решения данной задачи необходимо построить таблицы истинности для каждого из предложенных логических выражений. В таблицах будем использовать следующие обозначения: И - истина (1), Л - ложь (0).
1) B & (A v B)
| A |
B |
A v B |
B & (A v B) |
| Л |
Л |
Л |
Л |
| Л |
И |
И |
И |
| И |
Л |
И |
Л |
| И |
И |
И |
И |
2) A & (B v ̄B)
| A |
B |
̄B |
B v ̄B |
A & (B v ̄B) |
| Л |
Л |
И |
И |
Л |
| Л |
И |
Л |
И |
Л |
| И |
Л |
И |
И |
И |
| И |
И |
Л |
И |
И |
3) A & (A v B v C)
| A |
B |
C |
A v B v C |
A & (A v B v C) |
| Л |
Л |
Л |
Л |
Л |
| Л |
Л |
И |
И |
Л |
| Л |
И |
Л |
И |
Л |
| Л |
И |
И |
И |
Л |
| И |
Л |
Л |
И |
И |
| И |
Л |
И |
И |
И |
| И |
И |
Л |
И |
И |
| И |
И |
И |
И |
И |
4) A v B v ̄C
| A |
B |
C |
̄C |
A v B v ̄C |
| Л |
Л |
Л |
И |
И |
| Л |
Л |
И |
Л |
Л |
| Л |
И |
Л |
И |
И |
| Л |
И |
И |
Л |
И |
| И |
Л |
Л |
И |
И |
| И |
Л |
И |
Л |
И |
| И |
И |
Л |
И |
И |
| И |
И |
И |
Л |
И |
Примечание: ̄B и ̄C обозначают отрицание B и C соответственно.