La conjonction est distributive par rapport à la disjonction : (P et (Q ou R)) équivaut à ((P et Q) ou ( P et R)).