Таблицы истинности и законы логики

Что показывает симуляция

Наберите выражение — получите дерево разбора, таблицу с промежуточными столбцами и СДНФ; проверьте законы логики и решите задание 2 ЕГЭ.

Переменных 3, значит, в таблице 2³ = 8 строк. Порядок действий: 1) конъюнкция A ∧ B; 2) импликация A ∧ B → C. Последний столбец — значение всего выражения.

Другие режимы

• Законы логики. Закон де Моргана: отрицание конъюнкции равно дизъюнкции отрицаний. «Неверно, что оба» — значит, «хотя бы одно неверно». Отрицание вносят в скобки, меняя ∧ на ∨.
• Задание 2 ЕГЭ. Как решать: выясните, на каких наборах F = 1 — таких наборов всего 4. Выпишите их и сравните со строками фрагмента: ищите столбец, где значение у переменной всегда одно и то же, затем различайте остальные.