|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
| 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. |
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||