PIS前面的符号【Ø】,是否定符号吗?我想应该是,否则推理就是错误的了.

根据对当关系——矛盾关系,可得：
　　ØPIS↔PES；
然后,换位得：
　　PES→SEP；
再利用对当关系——差等关系,得：
　　SEP→SOP；