Логика перебором (задания 2 и 15)

Два задания ЕГЭ на логику выглядят как задачи для бумаги, но программа решает их надёжнее.

• Задание 2. Дана логическая функция, например F = (x → y) ∧ ¬z, и кусочек её таблицы истинности: несколько строк, часть клеток пустая, а столбцы перепутаны. Надо понять, какой столбец какой переменной соответствует.
• Задание 15. Дана формула с параметром A, например «(x делится на A) ∧ (x делится на 6) → (x делится на 4)». Надо найти наименьшее (или наибольшее) A, при котором формула истинна для любого x.

Руками ты строишь таблицу из 16 строк или долго рассуждаешь про делители — и легко ошибаешься в одной клетке. Программа перебирает все варианты за миг. Сегодня: логические операции в Python, импликация, таблица истинности циклами и перебор A.