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);