3) A ∧ B̄ ∨ C̄ → (A ⊕ B)̄ ↔ C̄

При стандартном приоритете операций запись читается так: \(((A\land\neg B)\lor\neg C)\to(\neg(A\oplus B)\leftrightarrow\neg C)\).

Значение зависит от переменных. Например, при A = 0, B = 0, C = 1 формула ложна: левая часть импликации истинна, а правая ложна. При A = 0, B = 0, C = 0 формула истинна. На доске не указана операция, которую следует выполнить с формулой, и не заданы значения переменных.