public string Visit(VariableFormula variableFormula) { return($"{variableFormula.Symbol}"); }
public void Initialize() { p = Variable("P"); q = Variable("Q"); }
internal VariableTableau(VariableFormula formula, TruthLabel truthLabel) { Formula = Variable = formula; TruthLabel = truthLabel; }
static void WriteVariable(VariableFormula v) { WriteLine($"{v}: {(v.Value.HasValue ? v.Value.ToString() : "Null")}"); }