All Classes

CNF Conjunction Disjunction Interpretation Negation Sentence Variable