Four Variable K-Map Simplifier