page_title: Propositional formula
section_title: Create the formula's Karnaugh map
hierarchical_section_title: Propositional formula / Normal forms / Reduction by use of the map method (Veitch, Karnaugh) / Create the formula's Karnaugh map
caption_attribution_description: English: Steps in the reduction of a propositional formula using a Karnaugh map. The final result is the OR (logical "sum") of the three reduced terms.
context_page_description: In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. If the values of all variables in a propositional formula are given, it determines a unique truth value. A propositional formula may also be called a propositional expression, a sentence, or a sentential formula.
  A propositional formula is constructed from simple propositions, such as "five is greater than three" or propositional variables such as P and Q, using connectives or logical operators such as NOT, AND, OR, or IMPLIES; for example:
  IMPLIES.
  In mathematics, a propositional formula is often more briefly referred to as a "proposition", but, more precisely, a propositional formula is not a proposition but a formal expression that denotes a proposition, a formal object under discussion, just like an expression such as "x + y" is not a value, but denotes a value. In some contexts, maintaining the distinction may be of importance.
context_section_description: Use the values of the formula (e.g. "p") found by the truth-table method and place them in their into their respective (associated) Karnaugh squares (these are numbered per the Gray code convention). If values of "d" for "don't care" appear in the table, this adds flexibility during the reduction phase.
caption: Steps in the reduction using a Karnaugh map. The final result is the OR (logical "sum") of the three reduced terms.
exif: {}