Problém splnitelnosti formulí výrokové logiky a související oblasti.
Domácí úkol programovací a experimentální povahy, jehož zadání bude zveřejněno během semestru.