Igazoljuk a tételek között felsorolt
azonosságot!
Első lépésként a baloldal mindhárom tagját kibővítjük úgy, hogy szerepeljen bennük mind független változó (A,B,C).
Az így kapott hat szorzatot tartalmazó kifejezésben kettő - kettő azonos. Ezek közül egy - egy elhagyható az A + A = A tétel analógiájára (pl. ABC +…. + ABC = ABC). Ezeket jelöltük egyszeres, illetve kettős aláhúzással.
Második lépésként a bővítés fordítottját végezzük, vagyis ahol lehet az azonos tényezőket kiemeljük.
A zárójelekben levő kifejezések 1 értékűek.
Ezzel igazoltuk az eredeti azonosságot.