Added P&P&Q = P&Q and P|P|Q = P|Q.
Added P&P&Q = P&Q and P|P|Q = P|Q.

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle