Loi d'Annihilation
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Définition
Une famille d’identités algébriques/logiques indiquant qu’un élément absorbant pour un connecteur écrase toute formule qui le contient (par exemple A ∧ false = false, A ∨ true = true).