コード例 #1
0
ファイル: pyttgenTest.py プロジェクト: AndreiQ/pyttgen 
 def test_equality(self):
   ttconstructor = TruthTableConstructor()
   ttconstructor.build("p <-> q")
   assert ttconstructor.table[0] == LogicalValue("p <-> q", [1, 0, 0, 1])
コード例 #2
0
ファイル: pyttgenTest.py プロジェクト: AndreiQ/pyttgen 
 def test_implication(self):
   ttconstructor = TruthTableConstructor()
   ttconstructor.build("p -> q")
   assert ttconstructor.table[0] == LogicalValue("p -> q", [1, 1, 0, 1])
コード例 #3
0
ファイル: pyttgenTest.py プロジェクト: AndreiQ/pyttgen 
 def testNOT(self):
   ttconstructor = TruthTableConstructor()
   ttconstructor.build("NOT p")
   assert ttconstructor.table[0] == LogicalValue("NOT p", [0, 1])
コード例 #4
0
ファイル: pyttgenTest.py プロジェクト: AndreiQ/pyttgen 
 def test_group(self):
   ttconstructor = TruthTableConstructor()
   ttconstructor.build("p AND (q OR r)")
   assert ttconstructor.table[1] == LogicalValue("p AND (q OR r)", [0, 0, 0, 0, 0, 1, 1, 1])
コード例 #5
0
ファイル: pyttgenTest.py プロジェクト: AndreiQ/pyttgen 
 def testOR(self):
   ttconstructor = TruthTableConstructor()
   ttconstructor.build("p OR q")
   assert ttconstructor.table[0] == LogicalValue("p OR q", [0, 1, 1, 1])