A Way to Simplify Truth Functions (1980)

by W V Quine
Venue:Computer Logic, Testing, and Validation. Computer Science Press