Du befindest dich hier: Aussagenlogik

Umwandlung von Formeln

(Aussagenlogik Kapitel 6)

Für mache Prozesse/Kalküle ist es notwendig, komplexe Formeln in Formeln einfacherer Struktur (sog. Normalformen) umzuwandeln.
Diese Umwandlung wird durch Ersetzungen von Teilformeln ereicht.

• Wir betrachten also zunächst, wann und wie Variablen durch Formeln ersetzt werden können (Substitution)
• und unter welchen Bedingungen eine Teilformel durch eine andere Formel ersetzt werden kann, sodass die resultierende Formel äquivalent zur Ursprungsformel ist.
   
  
• Anschließend definieren wir genauer, was eine Normalform ist und stellen die gebräuchlichsten Normalformen vor.
   
• Die Möglichkeit, die Umwandlung einer Formel interaktiv zu üben, schließt dieses Kapitel ab.

• zurück zu interaktiv üben! - Evaluierung einer Formel unter einer Interpretation
• zum Seitenanfang
• weiter zu Substitution

. .