Problém splnitelnosti formulí výrokové logiky a související oblasti.
Za splnění domácího úkolu, na jehož řešení jsou vyhrazeny poslední dva semináře. V čase semináře jsem dostupný pro konzultace, ale samotný seminář se nekoná.
Zadání úkolu najdete zde.