[爆卦]tautology離散是什麼?優點缺點精華區懶人包

為什麼這篇tautology離散鄉民發文收入到精華區:因為在tautology離散這個討論話題中,有許多相關的文章在討論,這篇最有參考價值!作者visual (米干)看板Grad-ProbAsk標題[理工] 中央105離散時間Thu Dec...


http://imgur.com/a/T28yK
不好意思,我想請問一下這題題目的意思是??
看不懂第三行C = {B...的敘述 @@
謝謝大家~

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 110.28.72.176
※ 文章網址: https://www.ptt.cc/bbs/Grad-ProbAsk/M.1481801414.A.7D3.html
gary19941208: http://i.imgur.com/hDef34P.jpg 12/15 19:39
gary19941208: C的元素是一群集合(B)滿足後面的條件,化簡到最後就 12/15 19:41
gary19941208: 是說B的元素要在A裡面,然後個數是2或3 12/15 19:41
yupog2003: 印象中幾年前也出過類似的,要記得考慮a是否有在B裡面 12/15 21:27
yupog2003: 這樣化簡就沒考慮到了,可是又看不出問題在哪@@ 12/15 21:29
gary19941208: 我知道了,應該不能用邏輯來看,不然a屬於B或a不屬 12/15 21:46
gary19941208: 於B,結果就是都是true 12/15 21:46
kyuudonut: 請問一下為什麼不能用邏輯看@@? 12/15 21:54
gary19941208: 我不確定能不能用邏輯看,不過看他出的選項,出題 12/15 22:00
gary19941208: 老師應該沒有考慮這個,應該單純想考排列組合... 12/15 22:00
yupog2003: 我也有同樣的疑問,邏輯化簡是對的,但答案是錯的 12/15 22:02
gary19941208: 如果用邏輯看結果就變成只要B包含於A就可以,所以 12/15 22:02
gary19941208: 變成2^7個 12/15 22:02
yupog2003: 後來想想,集合"|"後面的句子是用來描述前面那個東西的 12/15 22:27
yupog2003: 特性,而不是在講True of false,所以不能直接用邏輯? 12/15 22:28
yupog2003: 會用邏輯化簡通常都是在判斷tautology、satisfiable、 12/15 22:31
yupog2003: unsatisfiable這些的 12/15 22:32
gary19941208: 應該是這樣 12/15 22:47
moooner: 這題我的想法是類似組合證法一樣:因為B包含在A裡,所以 12/16 01:28
moooner: 第一個不取a,選兩個所以6取2;第二個取a,B要選三個出來 12/16 01:28
moooner: 但是已選了a所以6取(3-1)也是6取2。所以兩倍的6取2,至 12/16 01:28
moooner: 這題我的想法類似組合證法一樣:第一個(不屬於a)不取a, 12/16 01:33
moooner: 所以6取2;第二個(屬於a)取a,所以6取(3-1)為6取2。所以 12/16 01:33
moooner: 推文跑掉==+不想改了,有人可以講解d選項嗎 12/16 01:34
yupog2003: d選項的話,C會長這樣C={{d,b},{c,d}...} 12/16 07:09
yupog2003: 而A是長這樣A={a,b,c,d...},裡面元素不一樣就顯然無法 12/16 07:10
yupog2003: 包含了,這個長相只是舉個例子,不一定真的就是這樣 12/16 07:11
moooner: 謝謝y大,懂了 12/16 07:18
wei12f8158: https://i.imgur.com/3o4lA1y.jpg 幫補詳解 11/18 21:16

你可能也想看看

搜尋相關網站