public string Visit(NegationFormula negationFormula) { if (negationFormula.Subformula.GetType() == typeof(VariableFormula)) { return($"¬{negationFormula.Subformula.Apply(this)}"); } return($"(¬{negationFormula.Subformula.Apply(this)})"); }
public NegationTableau(NegationFormula formula, TruthLabel truthLabel) { Formula = Negation = formula; TruthLabel = truthLabel; }
public string Visit(NegationFormula negationFormula) { return($"({Junctions.Not} {negationFormula.Subformula.Apply(this)})"); }