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)