Prenexe zachovává

ekvivalenci i splnitelnost

splnitelnost formulí, ale ne ekvivalenci

ekvivalenci formulí, ale ne splnitelnost

Predchádzajúca

Ďalšia

Vymazať štatistiky

Zle zodpovedané otázky: