Условие:
Составить таблицы истинности для следующих формул и указать, какие из формул являются выполнимыми, какие опровержимыми, какие тождественно истинными (тавтологиями), а какие тождественно ложными (противоречиями):
Решение:
Для решения задачи составим таблицу истинности для данной формулы:
Формула: (P ∧ (Q ∨ ¬P)) ∧ ((¬Q ⇒ P) ∨ Q)
- Определим все возможные значения переменных P и Q. У нас есть две переменные, поэтому будет 2^2 = 4 комбинации значений.
- Запишем все возможные комбинации значений P и Q:
| P | Q |
|---|---|
| T | T |
| T | F |
| F | T |
| F | F |
- Теперь вычислим значения для каждой части формулы:
- ¬P: отрицание P
- ¬Q: отрицание Q
- ¬Q ⇒ P: импликация ¬Q ⇒ P
- Q ∨ ¬P:...
Внутри — полный разбор, аргументация, алгоритм решения, частые ошибки и как отвечать на каверзные вопросы препода, если спросит
Попробуй решить по шагам
Попробуй один шаг и продолжи в режиме обучения или посмотри готовое решение
Что нужно знать по теме:
Что нужно знать по теме
Алгоритм решения
Топ 3 ошибок
Что спросит препод
Похожие задачи