Postulats

(2) 0 + 0 = 1

(7) 0 0 = 0

(3) 0 + 1 = 1

(8) 0 1 = 0

(4) 1 + 0 = 1

(9) 1 0 = 0

(5) 1 + 1 = 1

(10) 1 1 = 1

Thormes pour une seule variable

(11) a + 1 = 1

(15) a 1 = a

(12) a + 0 = a

(16) a 0 = 0

(13) a + a = a

(17) a a = a

Lois pour plusieurs variables

Loi de commutativit (ou loi d'change)
(20) a + b = b + a

(21) a b = b a

Loi d'associativit (ou loi de liaison)

(22) a + (b + c) = (a + b) + c

(23) a (b c) = (a b) c

Loi de distributivit (ou loi de rpartition)

(24) (a + b) (b + c) = (a b) + (a c) + (b b) + (b (25) a (b + c) = (a b) + (a
c)
c)