K Map Simplification for 2, 3 and 4 variables