Α.Θεωρία
1) Νόμοι Κατηγορηματικής Λογικής
1.1) Νόμοι Κατηγορηματικής Λογικής
1.2) Ταυτολογία-Αντίφαση
1.3) Μετονομασία μεταβλητών ποσοδεικτών
2) Κανονικές Μορφές
2.1) Κανονική Διαζευκτική Μορφή
2.2) Κανονική Συζευκτική Μορφή
2.3) Clausal Form
2.4) Πρόταση Horn
3) Μετατροπή wff σε ΣΚΜ
3.1) Μεγάλη Άσκηση Σ.Κ.Μ.
3.2) Γρήγορη Σ.Κ.Μ.
Β.Μεθοδολογία
1) Τυπική Απάντηση ΣΚΜ
2) Προτάσεις Horn (και μικρές παραλλαγές)
Ασκήσεις