Seien P, Q Aussagenvariablen. Definieren Sie, z.B. durch Angabe einer Wahrheitstafel oder einer geeigneten Formel, einen Junktor P | Q, so dass Sie für ¬P und P Λ Q aussagenlogisch äquivalent Formeln finden können, die ausschließlich den Junktor verwenden. Begründen Sie auch dies z.B. durch die Angabe geeigneter Wahrheitstafeln.