Вы можете заменить связь A^B на эквивалентную связь отрицания (A ∨ B) и отрицания одновременно (¬A ∨ ¬B). Таким образом, новая эквивалентная формула будет выглядеть следующим образом: (A ∨ B) ∨ (¬A ∨ ¬B).