package formula;


/**
  The disjunction ("and") of two subformulas.
  A disjunction is true if either or both subformulas are true,
  and false if both subformulas are false.
*/
public class Disjunction implements Formula {
  Formula left;
  Formula right;
  /**
    Constructs the disjunction of two subformulas.
    @param _left  The first subformula.
    @param _right The second subformula.
  */
  public Disjunction(Formula _left, Formula _right) {  left = _left;  right = _right;  }
}