h3. (problema usoara, clasa a 9-a, clasa a 10-a)

Primul pas al algoritmului este eliminarea conjunctiilor elementare care se repeta, deoarece $A$ OR $A$ = $A$. In continuare, se observa usor ca daca o conjunctie elementara apare doar intr-una din formule, distributia variabilelor care o face adevarata va conduce la rezultate diferite. Asadar, formulele sunt echivalente daca si numai daca contin aceleasi conjunctii elementare, facand abstractie de ordinea termenilor.
 
Problema se poate rezolva astfel sortand termenii fiecarei conjunctii si conjunctiile dupa un criteriu oarecare.
 

h2. Tricouri
h3. (problema medie, clasa a 9-a)