EntityQ1640479· pop 11· linked from 25 articlesnegation normal formSign in to savetermConnectionspropositional calculusEntityfirst-order logicEntityalgebraic normal formEntityInternational Standard Book NumberEntitymathematical logicEntityBoolean algebraEntitydistributive propertyEntitylogical negationEntityDe Morgan's lawsEntitylogical disjunctionEntitylogical conjunctionEntityif and only ifEntitymaterial implicationEntitymodal logicEntityNP-completeEntitycontext-free grammarEntityThe MIT PressEntityboolean satisfiability problemEntitydisjunctive normal formEntityconjunctive normal formEntityCategoriesKnowledge compilationNormal forms (logic)Propositional calculus