On va démontrer deux lois de
distributivité par les tables de vérité.
La conjonction est distributive par rapport à la
disjonction
(P et (Q ou R))
((P et Q) ou ( P et
R))
La disjonction est distributive par rapport à la
conjonction
(P ou (Q et R))
((P ou Q) et ( P ou
R))