PDF-версии: 
i
Заполните таблицу истинности выражения: (¬A ∨ B ∧ ¬C) ∧ C.
| A | B | C | |||||
| 0 | 0 | 0 | |||||
| 0 | 0 | 1 | |||||
| 0 | 1 | 0 | |||||
| 0 | 1 | 1 | |||||
| 1 | 0 | 0 | |||||
| 1 | 0 | 1 | |||||
| 1 | 1 | 0 | |||||
| 1 | 1 | 1 |
Указание.
В работе используются следующие соглашения.
Обозначения для логических операций:
а) отрицание (инверсия, логическое НЕ) обозначается ¬ (например, ¬А);
б) конъюнкция (логическое умножение, логическое И) обозначается ∧ (например, А ∧ В);
в) дизъюнкция (логическое сложение, логическое ИЛИ) обозначается ∨ (например, А ∨ В).