Как определить эквивалентны ли две заданные логические формулы ?
Число переменных одинаково? Тогда таблица истинности (при таких-то входных значениях выходные значения - такие-то...), и потом сравнивать выходные значения при одинаковых входных...