Class Disjunction

java.lang.Object
All Implemented Interfaces:
Iterable<PlFormula>, Collection<PlFormula>, List<PlFormula>, SequencedCollection<PlFormula>, Formula, AssociativeFormulaSupport.AssociativeSupportBridge, AssociativeFormula<PlFormula>, ClassicalFormula, Conjunctable, Disjunctable, Invertable, ProbabilityAware, SimpleLogicalFormula

public class Disjunction extends AssociativePlFormula
This class represents a disjunction in propositional logic.
Author:
Matthias Thimm, Tim Janus