Logička formula ekvivalentna je formuli
A. A B. C. B D. E.
Required formulas:
(pravilo apsorpcije)
(de Morganovo pravilo)
Primjenimo te identitete na zadani izraz:
(ukidanje dvostruke negacije)