ja mam so skrivanekom, bol som D skup:
1. mal som z danej formuly lubovlnym sposobom rozhodnut ci je kontradikcia
2. z 3 viet urcit ci to je zakon dunsa scota
3. daco urcit metodou rezolucie
C skup (neviem presne):
1. ci dana dvojica spojok je postacujuca (negacia,alebo)
2. karnafova mapa 5 premennych
3. neviem - nech tu napise ten kto mal C skup
nech sa vam paci