Die Aussagenlogik beschäftigt sich mit Aussagen, das sind Sätze, die die Eigenschaft haben, wahr oder falsch zu sein. Man spricht deswegen auch von einer zweiwertigen Logik, weil neben den beidenWahrheitswerten wahr und falsch keine weitereMöglichkeit existiert (Prinzip vom ausgeschlossenen Dritten). Daneben gibt es auch mehrwertige Logiken, auf die wir hier aber nicht eingehen. Die zweiwertige Logik hat zahlreiche Anwendungen in der Informatik. Den beiden Wahrheitswerten kann man auch Zahlen zuordnen, zum Beispiel die 1 für wahr (oder Strom an) und die 0 für falsch (oder Strom aus).