Se dau doua formule logice interesante in (aceleasi) $n$ variabile $a{~1~}$, $a{~2~}$, ... $a{~n~}$. O formula logica este interesanta daca si numai daca este o disjunctie de conjunctii elementare. O conjunctie elementara este o formula de tipul ( $b{~1~}$ AND $b{~2~}$ AND ... AND $b{~n~}$ ), unde $b{~i~}$ este $c{~i~}$ sau NOT $c{~i~}$ , multimea { $c{~1~}$ , $c{~2~}$ , .. $c{~n~}$ } este o permutare a multimii { $a{~1~}$ , $a{~2~}$ , .. $a{~n~}$ } iar NOT $c{~i~}$ este negatia variabilei $c{~i~}$. Un exemplu de formula interesanta in 3 variabile independente este ( $a{~1~}$ AND NOT $a{~3~}$ AND $a{~2~}$ ) OR ( $a{~3~}$ AND NOT $a{~1~}$ AND NOT $a{~2~}$ ).

Dandu-se doua formule elementare in variabilele $a{~1~}$, $a{~2~}$, ... $a{~n~}$, aflati daca ele sunt sau nu echivalente (adica pentru orice distributie de valori de adevar a celor $n$, formulele produc acelasi rezultate (TRUE, respectiv FALSE).

Dandu-se doua formule elementare in variabilele $a{~1~}$, $a{~2~}$, ... $a{~n~}$, aflati daca ele sunt sau nu echivalente (adica pentru orice distributie a variabilelor $a{~1~}$, $a{~2~}$, ... $a{~n~}$ , formulele produc acelasi rezultat).

h2. Date de intrare