Formalize the problem
4 – Combinational Logic Design Examples
logic implementation now straightforward just use three 3-input AND gates "too short" = AB'C' (only first sensor tripped) "in spec" = A B C' (first two sensors tripped)
"too long" = A B C (all three sensors tripped)
A B C Function 0 0 0 do nothing 0 0 1 do nothing 0 1 0 do nothing 0 1 1 do nothing 1 0 0 too short 1 0 1 don't care 1 1 0 in spec 1 1 1 too long