Und, nicht und oder sind die einfachsten logischen Operatoren. Andere Operatoren, wie etwa »daraus folgt« können problemlos mit und, nicht und oder dargestellt werden.
Zum Beispiel:
»aus A folgt B« ist logisch äquivalent zu »nicht A oder B«. Dabei ist das oder natürlich kein exklusives oder. Alles klar?