The submission is in the format mentioned in the exercise portal. This would be the solution I calculated and also the Online Tool gave me, I hope this is the format in which you wanted me to submit the answer here.

ψ[0] = {s0,s4} = !b & !c = CNF{!c ; c | !b}

ψ[1] = {s0,s2,s4,s6} = !c = CNF{!c}

ψ[2] = {s0,s1,s2,s4,s5,s6} = !c | c & !b = CNF{!b | !c}

ψ[3] = {s0,s1,s2,s4,s5,s6} = !c | c & !b = CNF{!b | !c}