Hier geht es weiter mit der Logiktheorie!
- Gültigkeit und Modelle in der Prädikatenlogik
- Boolsche Algebra
- Bereinigung in der Prädikatenlogik
- Die Skalemnormalform in der Prädikatenlogik
- Schritte der Grundresolution
- Begriff Matrix in der Prädikatenlogik
- Semi-Entscheidbarkeit der Prädikatenlogik
- Algorithmus zur Skolemisierung
- Die Pränexnormalform
- Die Unentscheidbarkeit der Prädikatenlogik
- Universalität in der Informatik
- XOR-Funktion
- NAND-Funktion
- NOR-Funktion
- XNOR-Funktion
- Binary Decision Diagramm