techniques.PL

Classes  CNF Conjunction Disjunction Interpretation Negation Sentence Variable