Quine–McCluskey Reducer

Tabular minimization with prime-implicant chart.