Условие: Тип 2 № 17320
Логическая функция F задаётся выражением:
((x ∧ y) ∨ (y ∧ z)) ≡ ((x → w) ∧ (w → z)).
Дан частично заполненный фрагмент, содержащий неповторяющиеся строки таблицы истинности функции F.
Определите, какому столбцу таблицы истинности соответствует каждая из переменных x, y, z, w.
В ответе напишите буквы x, y, z, w в том порядке, в котором идут соответствующие им столбцы
| Переменная 1 | Переменная 2 | Переменная 3 | Переменная 4 | Функция |
|---|---|---|---|---|
| ? | ? | ? | ? | F |
| 0 | 1 | 1 | 1 | 1 |
| 0 | 1 | 0 | 1 | |
| 0 | 1 | 0 | 1 |
📚 Теория:
Как формулу математической логики перенести на язык Python:
# ∧ - and конъюнкция
# ∨ - or дизъюнкция
# → - <= импликация
# ≡ - == тождество
Приоритет операций:
отрицание > конъюнкция > дизъюнкция > импликация