Also known as Boole's expansion theorem, decomposition
theorem in Boolean algebra
L'expansion de Shannon est, en logique, la décomposition d'une équation booléenne selon une ou plusieurs variables principales. Elle consiste en l'identité suivante, vraie quelle que soit la fonction : où est une formule booléenne, est une variable, est la négation de , et les formules et sont obtenus à partir de en affectant à et respectivement.
Abstract from DBpedia / Wikipedia · CC BY-SA
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).