5. Упростите выражение: ¬(A↔B)

Эквивалентность истинна, когда значения A и B совпадают. Следовательно, её отрицание истинно, когда значения различаются:

¬(A↔B) = (A∧¬B)∨(¬A∧B).

Ответ: (A∧¬B)∨(¬A∧B).