Being CNF Conjuntive Normal Form and DNF Disjuntive Normal Form, is there any straight forward way to convert from one form to another?
Let's say I have the following sentence:
(P ^ ~Q ^ R) v (~P ^ Q ^ R) v (~P ^ ~Q)
that is currently DNF and I'm being asked to convert it to CNF. I know I could just try to "extend" this, but I find it awkward. Is there any simpler way that I'm missing or it is just the only way to do it?