diff --git a/src/main/py/logical_operations.py b/src/main/py/logical_operations.py index a9ff3c1..a044004 100644 --- a/src/main/py/logical_operations.py +++ b/src/main/py/logical_operations.py @@ -1,5 +1,5 @@ def identity_conjunctive(variable, zero): - if variable == 1 and zero == 0: + if zero == 0: return variable else: return None diff --git a/src/test/py/test_logical_operations.py b/src/test/py/test_logical_operations.py index 83cbace..0eda349 100644 --- a/src/test/py/test_logical_operations.py +++ b/src/test/py/test_logical_operations.py @@ -9,12 +9,15 @@ class calculationsWithRoots(unittest.TestCase): def tearDown(self): pass - def test_conjunctive_identity_1_and_0_equals_x(self): + def test_disconjunctive_identity_1_and_0_equals_x(self): self.assertEqual(identity_conjunctive(1, 0), 1) - def test_conjunctive_identity_1_and_1_equals_NULL(self): + def test_disconjunctive_identity_1_and_1_equals_NULL(self): self.assertEqual(identity_conjunctive(1, 1), None) + def test_disconjunctive_identity_1_and_1_equals_NULL(self): + self.assertEqual(identity_conjunctive(0, 1), None) + if __name__ == "__main__": unittest.main()