Package owl.logic.propositional
-
Class Summary Class Description ConjunctiveNormalForm<V> PropositionalFormula<T> A propositional formula.PropositionalFormula.Biconditional<T> PropositionalFormula.Conjunction<T> PropositionalFormula.Disjunction<T> PropositionalFormula.Negation<T> PropositionalFormula.Variable<T> -
Enum Summary Enum Description PropositionalFormula.Polarity