EntityQ948116· pop 9· linked from 10 articlesconsensus theoremSign in to savetheoremConnectionsInternational Standard Book NumberEntitydigital object identifierEntityDonald KnuthEntityBoolean algebraEntitylogic gateEntityJSTOREntityWillard Van Orman QuineEntitypropositional calculusEntityDe Morgan's lawsEntityKarnaugh mapEntityThe Art of Computer ProgrammingEntityrace conditionEntityrule of inferenceEntityProQuestEntityresolutionEntityJohn Alan RobinsonEntityJournal of the ACMEntityconjunction eliminationEntityJournal of Symbolic LogicEntityCategoriesBoolean algebraTheorems in lattice theoryTheorems in propositional logic