A Beautiful Test Suite

You are John Nash. Prove the Boolean logic behind equivalence partitioning and decision tables before the theorem collapses.