Also known as rule of consensus
theorem
En álgebra Booleana, el teorema del consenso o la regla de consenso es la identidad: El consenso o resolvente de los términos y es . Es la conjunción de todos los literales únicos de los términos, excluyendo el literal que aparece innegado en in término y negado en el otro. Si incluye un término que es negado en (o viceversa), el término de consenso es falso; es decir, no hay término de consenso. El conjunto dual de esta ecuación es:
Abstract from DBpedia / Wikipedia · CC BY-SA
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).