public void Should_display_formula_correctly()
{
// Arrange
Formula formula = TestFormula.GetTestFormula();
// Act
string formulaAsString = formula.ToString();
// Assert
Assert.AreEqual(formulaAsString, "(A ∨ B) ∧ (A ∨ ¬C)");
}
public void Should_return_all_models_for_satisfiable_formula()
{
Formula formula = TestFormula.GetTestFormula();
List <string> models = new List <string>();
bool isSatisfiable = formula.IsSatisfiable(models);
Assert.IsTrue(isSatisfiable);
Assert.IsTrue(models.Contains("A = False, B = True, C = False"));
Assert.IsTrue(models.Contains("A = True, B = False, C = False"));
Assert.IsTrue(models.Contains("A = True, B = False, C = True"));
Assert.IsTrue(models.Contains("A = True, B = True, C = False"));
Assert.IsTrue(models.Contains("A = True, B = True, C = True"));
Assert.IsFalse(models.Contains("A = False, B = False, C = False"));
Assert.IsFalse(models.Contains("A = False, B = False, C = True"));
Assert.IsFalse(models.Contains("A = False, B = True, C = True"));
}
public void Should_classify_formula_as_satisfiable()
{
Formula formula = TestFormula.GetTestFormula();
Assert.IsTrue(formula.IsSatisfiable(null));
}