Overview

normal form


Show Summary Details

Quick Reference

A well-formed formula of the propositional calculus is in conjunctive normal form when it is of the form A & B &…where each of A, B…is a formula consisting of a disjunction of atomic propositions or negations of atomic propositions (e.g. pq ⋁ ¬r…). In disjunctive normal form it is a disjunction of conjuncts subject to the same condition.

Subjects: Philosophy.


Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.