Um in der Aussagenlogik Äquivalenzen oder Tautologien zu beweisen ist eine Wahrheitstabelle unumgänglich. Dabei müssen alle möglichen Kombinationen von wahr und falsch bzw. Eins und Null der Variabeln aufgestellt werden. Bei zwei oder drei Variabeln ist das noch problemlos möglich. Ohne schematisches Vorgehen ist das ab vier Variabeln sehr fehleranfällig und zeitintensiv. Aus diesem Grund möchte ich Euch das binäre Durchzählen in diesem Blogbeitrag zeigen, mit dem Ihr gelassen auch zehn Variabeln in einer Wahrheitstafel mit allen möglichen Kombinationen aus wahr und falsch aufschreiben könnt. Aussagenlogik: Wahrheitstabellen schnell mit vier, fünf oder mehr Variabeln aufstellen ohne Dopplung weiterlesen
