inac ja by som poprosil ak niekto ma prepocitatne priklady an tie dve ulohy
Separujte klauzuly pre pouµzitie rezoluµcnej metódy pri odvodení
Nájdite optimálny uni kátor disjunkcie základných formúl a uni káciu pouµzite na odvodenie rezolventy z klauzúl
tak ci by nepreskenol a nehodil na ftp
thanks
Separujte klauzuly pre pouµzitie rezoluµcnej metódy pri odvodení
Nájdite optimálny uni kátor disjunkcie základných formúl a uni káciu pouµzite na odvodenie rezolventy z klauzúl
tak ci by nepreskenol a nehodil na ftp
thanks