推 A4P8T6X9:推 01/01 23:44
※ 編輯: jack0602 來自: 140.113.67.81 (01/02 00:00)
推 jeremy4849:推 01/02 09:33
推 kiki86151:推原來可以這樣硬爆 我以為要畫parse tree分析 像台大 01/02 12:10
(1) x1 v x2 v x4
(2) x3 v ┐x5 v ┐x6
(3) ┐x1 v ┐x3 v ┐x5
(4) ┐x2 v x4 v x5
(5) ┐x1 v x2
(6) ┐x2 v x3
(7) ┐x3 v x1
(8) ┐x4 v x5
(9) ┐x5 v x6
(10) ┐x6 v x4
要證明x1~x6不管給多少 (1)~(10)的logical-and結果必為False
若要使結果為True (1)~(10)必須全為True
以下1為True 0為False
由(1)可知 x1=1 or x2=1 or x4=1
假設 x1=1 , 由(5) => x2=1 , 由(6) => x3=1
由(3) => x5=0 , 由(4) => x4=1
x4=1 且 x5=0 => (8)為0 , 所以 x1=1 無法使結果為True
假設 x2=1 , 由(6) => x3=1 , 由(7) => x1=1
之後過程和假設 x1=1 結果相同 , 所以 x2=1 無法使結果為True
假設 x4=1 , 由(8) => x5=1 , 由(9) => x6=1
由(2) => x3=1 , 由(7) => x1=1
之後過程和假設 x1=1 結果相同 , 所以 x4=1 無法使結果為True
因此 x1=0 且 x2=0 且 x4=0 , 這使(1)必為0 , 故得證
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.113.67.81