(T && F) || (F && F) = F
(T && T) || (F && F) = T
(T && F) || T = T