Title: A decomposition method for simplifying propositional functions
Subjects: Propositional calculus, Truth-functions