Review: W. V. Quine, On Cores and Prime Implicants of Truth Functions