pos and sop k-map