Class Tautology

All Implemented Interfaces:
Formula, ClassicalFormula, Conjunctable, Disjunctable, Invertable, ProbabilityAware, SimpleLogicalFormula

public class Tautology extends SpecialFormula
A tautological formula.
Author:
Matthias Thimm