¬BC(AB⇔С) = ¬BC[(AB⇒C) ∧ (C⇒AB)]
¬BC[(¬A∨C) ∧ (C⇒AB)] = ¬BC[(¬A∨C) ∧ (¬C∨AB)]
¬BC[¬A∨C] ∧ ¬BC[¬C∨AB]
(BC∧¬A)∨(BC∧C) ∧ (BC∧A∧¬B)