public static VariableFormula <TStatement> Variable <TStatement>(TStatement statement, bool?value) { var v = new VariableFormula <TStatement>(statement); v.Value = value; return(v); }
public void Determine(VariableFormula variable) { if (Imply(this, variable).IsTautology()) { variable.Value = true; } else if (Imply(this, !variable).IsTautology()) { variable.Value = false; } }
public VariableFormula <TStatement> GetOrCreateVariable <TStatement>(VariableFormula <TStatement> variable) => GetOrCreateVariable(variable.Statement);