Browse Source

change to test and function to also allow reverse detection of disconjunctive identiy

remotes/origin/feature/feature-logical-operations
fdai7783 11 months ago
parent
commit
cde4279f64
  1. 2
      src/main/py/logical_operations.py
  2. 4
      src/test/py/test_logical_operations.py

2
src/main/py/logical_operations.py

@ -1,6 +1,8 @@
def identity_disconjunctive(variable, operator, zero): def identity_disconjunctive(variable, operator, zero):
if zero == 0 and operator == "+": if zero == 0 and operator == "+":
return variable return variable
elif variable == 0 and zero == 1:
return 1
else: else:
return None return None

4
src/test/py/test_logical_operations.py

@ -16,7 +16,7 @@ class calculationsWithRoots(unittest.TestCase):
self.assertEqual(identity_disconjunctive(1, "+", 1), None) self.assertEqual(identity_disconjunctive(1, "+", 1), None)
def test_disconjunctive_identity_0_or_1_equals_None(self): def test_disconjunctive_identity_0_or_1_equals_None(self):
self.assertEqual(identity_disconjunctive(0, "+", 1), None)
self.assertEqual(identity_disconjunctive(0, "+", 1), 1)
def test_disconjunctive_identity_0_or_0_equals_0(self): def test_disconjunctive_identity_0_or_0_equals_0(self):
self.assertEqual(identity_disconjunctive(0, "+", 0), 0) self.assertEqual(identity_disconjunctive(0, "+", 0), 0)
@ -30,7 +30,7 @@ class calculationsWithRoots(unittest.TestCase):
def test_conjunctive_identity_0_and_1_equals_0(self): def test_conjunctive_identity_0_and_1_equals_0(self):
self.assertEqual(identity_conjunctive(0, ".", 1), 0) self.assertEqual(identity_conjunctive(0, ".", 1), 0)
def test_conjunctive_identity_0_and_1_equals_01(self):
def test_conjunctive_identity_1_and_1_equals_1(self):
self.assertEqual(identity_conjunctive(1, ".", 1), 1) self.assertEqual(identity_conjunctive(1, ".", 1), 1)

Loading…
Cancel
Save