一個離散數學的邏輯判斷問題 在某研討會上，三名與會者根據王教授的口音判斷他是哪裡人，甲說王教授不是蘇州人是上海人，乙說王教授不是上海人是蘇州人，丙說王教授既不是上海人也不是杭州人，聽完以上3人的判斷後.王教授說他們3個人中有一個說的全對，有一個人說對了一半，另一個人說的全不對，使用邏輯演演算法分析王教授是哪裡人（請提供詳細過程，）

一個離散數學的邏輯判斷問題 在某研討會上，三名與會者根據王教授的口音判斷他是哪裡人，甲說王教授不是蘇州人是上海人，乙說王教授不是上海人是蘇州人，丙說王教授既不是上海人也不是杭州人，聽完以上3人的判斷後.王教授說他們3個人中有一個說的全對，有一個人說對了一半，另一個人說的全不對，使用邏輯演演算法分析王教授是哪裡人（請提供詳細過程，）

設命題p：王教授是蘇州人.q：王教授是上海人.r：王教授是杭州人.顯然p，q，r中有且只有一個真命題.甲的判斷為A1=┐p∧q乙的判斷為A2=p∧┐q丙的判斷為A3=┐q∧┐r那麼，甲的判斷全對B1=A1=┐p∧q甲的判斷對一半B2=…

幫忙證明一道離散數學的邏輯證明題
題目：證明（p→q）∧（q→r）→（p→r）是永真式
請高手把證明過程寫出來

其推理式為：（p→q）∧（q→r）→（p→r），要求從（p→q）∧（q→r）能推導出p→r.以下用命題自然推理來證明：
①｛1｝（p→q）∧（q→r）P/∴p→r
②｛1｝p→q T①
③｛1｝q→r T①
④｛2｝p P
⑤｛12｝q T②④
⑥｛12｝r T③⑤
⑦｛1｝p→r D④⑥

一道離散數學證明題
設T為平凡無向樹，T中度數最大的節點有兩個，且度數K>=2，求證T葉子節點的數量>=2K-2.
抱歉抱歉，原題打錯了，是非平凡無向樹，

1.因為每一個非根節點，要麼有兩個葉子，要麼有一個葉子，最少的情况就是，只有一個葉子，且葉子也至多有一個子葉子.度數=n的節點，對應的最終葉子的數量>=n2.度數最大的節點必然是根節點的直接後繼，否則必然導致衝突.因…

（P→（Q∨┐R））∧┐P∧Q
找出僅用∨和┐的等價運算式並且盡可能簡單

┐（┐（┐P∨（Q∨┐R））∨P∨┐Q）
=┐（P∨┐Q）