Übersicht

• Aus A folgt B Logische Implikation ↗
  

• Aus A Folgt B und umgekehrt Logische Äquivalenz ↗
  

• Ist A wahr ist nicht-A wahr Logisches Nicht ↗
  

• Ist eines wahr ist Kombination auch wahr Logisches ODER ↗
  

• Nur wenn alle Teile wahr sind ist Kombination wahr Logisches UND ↗
  

• Entweder alles falsch oder alles wahr XNOR ↗
  

• Genau eines muss wahr sein XOR ↗