4-variable K-Map