Důkaz se skládá z

méně než čtyč rezolučních kroků

nejméně čtyř rezolučních kroků

více než čtyř rezolučních kroků

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky:
79 78