P||Q = !P|!Q = (P|P)|(Q|Q)
P&&Q = !(P|Q) = (P|Q)|(P|Q)
P|!Q = P|(P|Q) = P|(Q|Q) = !P || Q

P xor Q = (P|(P|Q))|(Q|(P|Q))
– (P && !Q) || (!P && Q))
– !(P|!Q) || !(!P|Q)
– (P|!Q)|(!P|Q)
= (P|(P|Q))|(Q|(P|Q))

S mux PQ = (!S|P)|(S|Q)
– (!S && P) || (S && Q)
– !(!S|P) || !(S|Q)
= (!S|P)|(S|Q)