Пример #1
0
 public void TestF9()
 {
     ITLFormula f = new Release (new Negation (p1), new Negation(p2));
     AssertEquivalentEmptiness (f);
 }
Пример #2
0
 public void TestF10()
 {
     ITLFormula f = new Release (p1, new Release (p2, p3));
     AssertEquivalentEmptiness (f);
 }
Пример #3
0
 public void TestF8()
 {
     ITLFormula f = new Release (p1, p2);
     AssertEquivalentEmptiness (f);
 }