Ejemplo n.º 1
0
 def equivNo(self, e1, e2):
     self.assertFalse(equiv(pExp(e1), pExp(e2)))
Ejemplo n.º 2
0
 def equivNo(self, e1, e2):
     self.assertFalse(equiv(pExp(e1), pExp(e2)))
Ejemplo n.º 3
0
 def equivYes(self, e1, e2):
     self.assertTrue(equiv(pExp(e1), pExp(e2)))
Ejemplo n.º 4
0
 def equivYes(self, e1, e2):
     self.assertTrue(equiv(pExp(e1), pExp(e2)))