francocap

Attention
For the De Morgan laws
!A || !B is equivalent to !( A && B)
and
!A && !B is equivalent to !(A || B)

See: https://en.wikipedia.org/wiki/De_Morgan%27s_laws