Zu dieser Karteikarte gibt es einen kompletten Satz an Karteikarten. Kostenlos!

Grundlage jeder Booleschen Funktion sind Variablen ai (i = 1, …, n), welchen eindeutig eine Belegung B {0, 1} zugewiesen werden kann. Aus diesen werden syntaktisch korrekte Terme auf folgende Art und Weise gebildet:

1. Jede Konstante 0 und 1 und jede Variable ai ist ein Boolescher Term.
2. Sind A und B Boolesche Terme, dann sind auch A’, (A B) und (A B) Boolesche Terme.
3. Nur Zeichenreihen, die sich mit (1) und (2) in endlich vielen Schritten konstruieren lassen, sind Boolesche Terme.