Проверить, является ли формула тавтологией?

Question

Кристина Королева Знаток (251), закрыт 3 года назад

(А ∧ В) ∨ ((А ̅ ∧ C) ↔ B → C)
То что формула не является тавтологией, это я знаю. Мне нужно знать как это решается)

Answer 1

Однако Просветленный (26253) 3 года назад

Примеры. Продолжение в комментарии.

Answer 2

Законы алгебры логики и преобразование операций в базис {и, или, не}.