search

bastikr / boolean.py

Implements boolean algebra in one module.
BSD 2-Clause "Simplified" License
78 stars 34 forks source link

Fixing De Morgan's laws effect on double negation propositions #79

Closed docardoso closed 6 years ago

docardoso commented 6 years ago

The result of the application of De Morgan's laws on an expression should remain unaltered when the same expression is negated an even number of times. However, this does not hold. This is a (simplistic, tentative) fix for such issue.

pombredanne commented 6 years ago

@docardoso Thanks ++.... Let me dive into this in a few days

pombredanne commented 6 years ago

@docardoso you do not have to be sorry: you are the one making a gift! Thank you. This looks good to me now. Merging