﹁(P∨Q)= ﹁P ∨ ﹁Q