A friend of mine has shown sometime ago the name of the below boolean technique/law but I forget that name unfortunately. Does someone know what it’s called?
example in C language:
!(a || b)
It’s a short to:
!a && !b
3
That’s not a law – in fact it’s quite wrong!
You want !a && !b
. Then its one of De Morgan’s laws.
1