Aufgabe:
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.
Problem/Ansatz:
Ich weiß es nicht, welche Junktor ist das |.
Ich werde sehr Dankbar, wenn Sie mir bei dieser Frage helfen.
Vielen Dank im Voraus.