Package techniques.PL

Class Summary
CNF A set of utilities for dealing with propositional logic sentences in conjunctive normal form (CNF).
Conjunction Represents a conjunction of a list of sentences.
Disjunction Represents a disjunction of a list of sentences.
Interpretation Represents an interpretation in propositional logic.
Negation Represents the negation of a Variable.
Sentence Abstract class representing a sentence in propositional logic.
Variable Represents an atomic variable.