→ nextme:哇哩咧 原來作業17號才交喔 = =" 10/11 11:13
: 4. 三個形狀都是 a(c(d,d),b(d,c(d,d))) x(y,z) 就是 x 是 0/1 到 y/z node
: 但是最後 d 的會接到哪三個會不一樣。
: 化簡過後 AND a(0,b(d(1,0),0))
: OR a(c(1,d(0,1)),b(1,c(d(1,0),1)))
: XOR 不會表示啦...會有分支又指到同一個 node
我XOR這個小題就一直將它recursive的化簡下去
1. a((Fa' xor Ga'),(Fa xor Ga))
2. a((c(Fa' xor Ga'c'),(Fa' xor Ga'c)),(b(1 xor Ga),(Fab xor Ga)))
3. a((c(d(0 xor 1),(1 xor 0)),(d(0 xor 0),(1 xor 0))),(b(d(1 xor 1),
(1 xor 0)),(c(0 xor Ga),(Fabc xor Ga))))
4. a((c(d(1,1)),(d(0,1))),(b(d(0,1)),(c(d(0 xor 1),(0 xor 0)),
(d(0 xor 1),(1 xor 0)))))
5. Reduction
a((c(0,d(0,1))),(b(d(0,1),c(d(1,0),1))))
--
好亂的括號喔
希望大家看的懂 XD
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 218.167.74.108