Условие:
Составьте таблицы истинности формул.
Решение:
Нам даны две формулы. Прежде чем составлять таблицы истинности, нужно понять знак обозначений. Примем, что:
- x ∣ y означает оператор NAND, то есть логическое «не (x и y)»; формально x ∣ y = ¬(x ∧ y).
- x ↓ y означает оператор NOR, то есть логическое «не (x или y)»; формально x ↓ y = ¬(x ∨ y).
- ⊕ – операция «исключающее или».
- Остальные обозначения стандартные: ∧ – логическое «и», ∨ – логическое «или», → – импликация, ↔ – эквиваленция, ¯ или ¬ – отрицание.
Теперь рассмотрим каждую формулу по отдельности.
------------------...
Внутри — полный разбор, аргументация, алгоритм решения, частые ошибки и как отвечать на каверзные вопросы препода, если спросит
Попробуй решить по шагам
Попробуй один шаг и продолжи в режиме обучения или посмотри готовое решение
Что нужно знать по теме:
Что нужно знать по теме
Алгоритм решения
Топ 3 ошибок
Что спросит препод
Похожие задачи