Выполним составление таблиц истинности для каждого выражения. Для выражения (A ∧ B) ∨ C создадим таблицу с возможными значениями переменных A, B и C и вычислим значение выражения для каждой строки. Аналогично выполним для выражения A ∨ (B ⇒ C) ∧ B ⇔ A.