Maurice Karnaugh (source code)

= Maurice Karnaugh
{c}
{wiki}

<Maurice Karnaugh> developed a map method for simplifying <Boolean functions> in <electric circuit> design. A <Karnaugh map> arranges <truth table> entries so that neighboring cells differ in one variable. Grouping adjacent entries reveals variables that do not affect an output. For example, <Boolean algebra> gives $(A\land B)\lor(A\land\neg B)=A$, removing dependence on $B$. His 1953 paper also distinguishes a short <Boolean algebra> expression from an economical physical <electric circuit>, because the best implementation depends on the available components.<The Map Method for Synthesis of Combinational Logic Circuits by Maurice Karnaugh>[1953 original paper, opening synthesis discussion and map representation; two-variable identity illustrated here]{ref}

Physicist and computer scientist associated with the <Karnaugh map> for simplifying <Boolean functions>. https://en.wikipedia.org/wiki/Maurice_Karnaugh[Wikipedia biography] identifies the subject and his logic-design contribution.