Построение таблиц истинности логических выражений
1) Логическое отрицание / Инверсия / НЕ
2) Логическое сложение / Дизъюнкция / ИЛИ
3) Логическое умножение / Конъюнкция / И
3)Эквиваленция / Равносильность / ТОГДА И ТОЛЬКО ТОГДА
4)Импликация/ Следование / ЕСЛИ...ТО..
Порядок выполнения операций:
- Если нет скобок, сначала выполняются все операции «НЕ», затем – умножение, затем – сложение, импликация, равносильность.