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