makeDNF :: SignedPrenexBody -> Disjunction
makeDNF (SPAtomic b p xs) = Disjunction [Conjunction [Signed b p xs]]
makeDNF :: SignedPrenexBody -> Disjunction
makeDNF (SPAtomic b p xs) = Disjunction [Conjunction [Signed b p xs]]
makeDNF (SPAtomic b p xs) = Disjunction [Conjunction [Signed b p xs]]