DeMorganâs Rule DM ~(p v q) :: (~p . ~q) âneitherâ¦norâ¦â is the same as ânot the one and not the otherâ ~( p . q) :: (~p v ~q) ânot bothâ¦â is the same as âeither…