Rovnost formulí

Dvě formule jsou si rovny, pokud tvor stejný řetězec (v nerelaxovaném tvaru), aneb pokud jim odpovídá stejný syntakticky strom.

Příklad: $a\ne \neg \neg a$, $a\vee b\ne b\vee a$