命题p或q为真,说明p,q至少有一个是真的
命题p且q为假 ,说明p,q至少有一个是假的
∴ p,q一真一假
有两种情形,p真q假,或p假q真