Každá nesplnitelná množina neprázdných Hornových klauzulí musí obsahovat

alespoň jeden cíl a alespoň jedno pravidlo.

alespoň jeden fakt a alespoň jedno pravidlo.

alespoň jeden fakt a alespoň jeden cíl.

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky:
96