How to convert a formula from DNF to CNF. Example:
$(A \wedge \neg B) \vee (B \wedge \neg A)$ or similar trivial DNFs? It thought it could be work with the distributive law. But I don't know how to continue from: $(A \vee ( B \wedge \neg A)) \wedge ( \neg B \vee (B \wedge \neg A))$
Thanks for help!