Algebrai kifejezés tagadása ( a De Morgan - tételek alkalmazása).
Az átalakításnál először a De Morgan - tételt használtuk. A következő lépésként az első két zárójeles kifejezés logikai szorzatát (ÉS művelet) képeztük (az eredmény aláhúzva).
A zárójelben levő kifejezés azonosan 1, mert a logikai összeadás egyik tagja 1. Térjünk vissza az eredeti kifejezéshez, amelynél a zárójelbe tett kifejezések ”összeszorzása”, majd a lehetséges további átalakítás után ( pl. az aláhúzott kifejezések értéke 0 stb.) kapjuk meg a végeredményt.