((p and q) or (p and r) or (q and r)) and (~p or ~q or ~r )