public Not(IBooleanFormula term) : base(term, term)
{
} // constructor
public Or(IBooleanFormula left, IBooleanFormula right) : base(left, right)
{
} // constructor
} // Calculate
protected ABinaryBoolOperator(IBooleanFormula left, IBooleanFormula right)
{
LeftTerm = left;
RightTerm = right;
} // constructor
