Consensus theorem - Wikipedia, the free encyclopedia

Consensus theorem - Wikipedia, the free encyclopedia

瀏覽:1448
日期:2025-06-26
The consensus or resolvent of the terms and is . It is the conjunction of all the unique literals of the terms, excluding the literal which appears unnegated in one term and negated in the other. The conjunctive dual of this equation is:...看更多