Сравнить логические функции, построив таблицы истинности, и определить, являются ли они тождественными:
F1 = ( a * b = a * ⌐b) * c
F2 = ( a → b) → ⌐( a → c)