Also known as rule of consensus
theorem
В булевой алгебре, теорема согласованности — это следующее тождество: Доказательство этой теоремы: = = = = Дуальное представление этого же уравнения:
Abstract from DBpedia / Wikipedia · CC BY-SA
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).