The Problem of Simplifying Truth Functions | Synapse