作者t3825288 (猩爺)
看板Grad-ProbAsk
標題Re: [理工] [離散] boolean function
時間Sat Sep 25 23:22:45 2010
※ 引述《mqazz1 (無法顯示)》之銘言:
: A set {bi} of two-valued boolean functions is said to be complete if every two-valued boolean function can be expressed by a boolean expression using only bi's
: Define boolean functions → and ⊥ as follows:
: a→b ≡ ~aˇb
: a⊥b ≡ F
: which of the following set is not complete?
: (A) { ~, ˇ}
: (B) {⊥, →}
: (C) { ~, →}
: (D) { ^, →}
: 87交大資科27題
: http://ppt.cc/7RIR
能用來表示 (~,and, or) 的即為 complete
(A) a^b = ~(~av~b)
avb = trivial
~a = trivial
(B) ~a = a->a⊥b ( if a = 1, ~a = 1->1⊥b = 1-> F = F = 0
if a = 0, ~a = 0->0⊥b = 0->F = T = 1 )
avb = ~a->b ( ~a 再用上式帶入 )
a^b = ~(~av~b) (因為 ~ 和 v 可用 ⊥ 及 -> 代替, 故 ^ 也可 )
(C) ~a = trivial
a^b = ~(~av~b) = ~(a->~b)
avb = ~a->b
所以 D 不是
答案對嗎?
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 61.57.90.44
1F:推 mqazz1:答案是D沒錯 09/26 21:15
2F:→ mqazz1:感謝! 我會了 09/26 21:50