Z množiny vstupních klazulí

jsou v důkazu použity všechny

nejsou použity dvě klauzule

není použita jedna z klazulí

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky: