ao&. = .a-& = A

Cette proposition transforme chaque déduction en une égalité, dont le second membre est a. « Omne a est &, id est ... a non b est non ens » Leibniz (*).

Donc on peut se passer du signe o. Si on le supprime, selon Boole, il y a une plus grande symétrie dans quelques formules; mais elles se présentent sous une forme trop différente de celle du langage ordinaire. En suivait Peirce, Schroder, etc., nous le conservons.

Remarquons encore la formule