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 That's not a law - in fact it's quite wrong!
You want !a && !b. Then its one of De Morgan's laws.
!a && !b?