Pogoda...hádam. Príklady : Karnaughova mapa 4 premenných, rezolučná metóda, upraviť formulu na tvar pripravený k rezolučnej metóde, formalizovať výroky, nájsť rezolventy...a viac nepamatám.
Teória : Dokazateľnosť, substituovateľnosť, čo znamená, že je logika úplna a korektná, term, formula...proste z teórie mám pocit, že tam boli základné veci len...