4 variable k map solution in SOP form