Commit 2023-06-12 10:54 43cb986e

View on Github →

fix: correct for surprising precedence in Bool DeMorgan laws (#4987) The DeMorgan laws as stated were being parsed as an inequality

! ((a && b) = (!a || !b))

So, I added parenthesis to force the intended meaning of

(!(a && b)) = (!a || !b)

Estimated changes