Własności jednej zmiennej ze stałymi 0 i l:
(1) |
x V 0 = x |
(2) |
x A 0 = 0 |
(3) |
x V 1 = 1 |
(4) |
x Al = x |
(5) |
x\/ X = X |
(6) |
x A x — x |
(7) |
x V -ix = 1 |
(8) |
x A -ix = 0 |
przemiennosc:
łączność:
rozdzielność:
Prawa de Morgana: Podwójna negacja:
x V y = y V x x A y = y A x x V (y V z) = (x V y)\/ z
x A(y A z) = (x A ?/) A 2
x A (y W z) — (x A y) V (x A z)
x\/ (y A z) — (x V y) A (.x V 2)
->(.x V y) = -i.x A -iy -i(.x A y) = -<x V -iy
-i~iX = x