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.