Revision history [back]

Převádení formule do prenexního tvaru je úplně zbytečná práce, která ti pří písemce akorát vezme čas (pokud to po tobě teda výslovně nechtějí :)). Sémantický strom jsi mohl udělat už z té formule spojené konjunkcemi, co máš za rovnítkem.