FSM and assertion level problem

i have the below FSM :



A is asserted low signal. I wonder if this affects the karnaugh maps.

for example i make the 3 karnaugh maps [s2,s1,s0]:



Is this correct or the assertion level affects the karnaugh maps?

thanks.