public override string ToString() { return("(" + _fact1.ToString() + " || " + _fact2.ToString() + ")"); }
public override string ToString() { return("~" + _fact.ToString()); }
public override string ToString() { return("(" + _requirement.ToString() + " => " + _implication.ToString() + ")"); }