用真值表窮舉證明，就可以了吧

離散數學 邏輯，證明

￢(P?Q)

和

P?￢Q邏輯等價，

（條件？：當p與q有相反的真值時，P?￢Q兩邊恰好都為真,就是說p=1,Q=0)

這種條件下，顯然，

￢(P?Q)=1

P?￢Q=1

邏輯定價

如果，

p=0,q=1

￢(P?Q)=1

P?￢Q=1

也是邏輯等價

這應該只是，解說吧

當P與Q有相反的真值時

P?￢Q

兩邊恰好都為真

一邊是 ￢(P?Q)

一邊是 P?￢Q

【命題求證】

【￢（P?Q） ?P?璡】

【用￢和∨ 定義浴?

1.【P冤V（￢P）】

2.【P∧Q 冤V（￢P∨￢Q）】

￢P∧￢Q 冤V（￢￢P∨￢￢Q）等價

P∨Q?

3.【P→Q ?￢P∨Q】

3.【Q→P ?￢Q∨P】

P擰 ? （￢P∨Q）∧（￢Q∨P）? ￢[￢（￢P∨Q ）∨ ￢（￢Q∨P）]

4.【P擰 冤V[￢（￢P∨Q ）∨ ￢（￢Q∨P）]】

therefore-1

￢（P擰）?￢（￢P∨Q ）∨ ￢（￢Q∨P）

置換規則

4.【P敥VQ 冤V[￢（￢P∨￢Q ）∨ ￢（Q∨P）]】

休息一下，