A 4 x 4 K-Map solver