V prejšnjem poglavju smo spoznali pravila za negacije:
x · y = x + y
x+ y = x · y
Zvedeli smo:
Zdaj bomo to dokazali v praktičnem primeru.