neviem, ci to este niekto precita, ale:
cv12: uprava s1, boli tu spominane vennove diagramy a ze:
x1neg v x1.x2neg
x1neg v x2neg
su ekvivalentne.
Pricom mne po nakresleni diagramov vyslo, ze nie su ekvivalentne. Vedel by to niekto aj nejak inak dokazat? Zatial tomu velmi neverim.