已知有s不是p为假,请用欧拉图