|
==Example==
===Input===
The Quine-McCluskey method is a systematic approach to minimize Boolean expressions. Let's apply it to the given Boolean expression:
In this example, the input is a Boolean function in four variables, <math>f :\{0,1\}^4 \to \{0,1\}</math> which evaluates to <math>1</math> on the values <math>4,8,10,11,12</math> and <math>15</math>, evaluates to an unknown value on <math>9</math> and <math>14</math>, and to <math>0</math> everywhere else (where these integers are interpreted in their binary form for input to <math>f</math> for succinctness of notation). The inputs that evaluate to <math>1</math> are called 'minterms'. We encode all of this information by writing
:<math>fF(AW,BX,CY,DZ) =\sum Σ m(40,81,104,115) and F(W,12X,15Y,Z) += Σ d(912,1413). \,</math>
This expression says that the output function f will be 1 for the minterms <math>4,8,10,11,12</math> and <math>15</math> (denoted by the 'm' term) and that we don't care about the output for <math>9</math> and <math>14</math> combinations (denoted by the 'd' term). The summation symbol <math>\sum</math> denotes the logical sum (logical OR, or disjunction) of all the terms being summed over.
===Step 1: finding prime implicants===
|
