logika wzory bmp

-    a + b = ab, ab = a + b (prawa deMorgana)

-a = a (prawo podwójnej negacji)

-    a = b = ab +Tib (definicja bramki XOR, inaczej „suma modulo 2")

-    a\b = ab = a + b (definicja bramki NAND, inaczej „funkcja Sheffera")

-    alb = a + b = ab (definicja bramki NOR, inaczej „funkcja Pierce'a")

-    al = a

-    a + 0 = a