Uses of Class
de.uni_tuebingen.sfb.lichtenstein.formulas.Conjunction

Uses of Conjunction in de.uni_tuebingen.sfb.lichtenstein.formulas

Methods in de.uni_tuebingen.sfb.lichtenstein.formulas that return Conjunction

static Conjunction	Formulas.and(Formula... forms) Return the conjunction of the given formula with that formula.
Conjunction	FormulaImpl.and(Formula that) Return the conjunction of this formula with that formula.
Conjunction	Formula.and(Formula that) Return the conjunction of this formula with that formula.
Conjunction	Equivalence.getEquivalentFormula() Returns a formula which is equivalent to this equivalence: (first -> second) & (second -> first).
Conjunction	Equivalence.getNormalForm() Get a normal form with only conjunction, disjunction, negation and existential quantification.
Conjunction	Conjunction.getNormalForm() Get a normal form with only conjunction, disjunction, negation and existential quantification.