diagramy venna l93: algorytm venna pozwala na analizowanie par formuł ϕ(A,B,C) zbudowanych przy pomocy symboli (,),⋃,⋂,∖ i zmiennych A,B,C. Przykładowo, ϕ(A,B,C)=B∖A może zostać porównane z ψ(A,B,C)=(B∖A)∪((A∩C)∖B) przez zakreślenie odpowiednich obszarów. Wykaż poprawność algorytmu Venna tzn. wykaż, że równość między zbiorami zdefiniowanymi przez ϕ i ψ ma miejsce wtedy i tylko wtedy, gdyzostają zakreślone dokładnie te same obszary.