: 我本來 (2) 可能有問題
: 現在一開始就把
: p = b'+c --> (p'+(b'+c))(p+(b'+c)')
: q = ab+a'c --> (q'+(ab+a'c))(q+(ab+a'c)')
: r = pq --> (r'+(pq))(r+(pq)')
: s = p'+d' --> (s'+(p'+d'))(s+( p'+d')')
: z = r's+rs'--> (z'+(r's+rs'))(z+(r's+rs')')
: 右邊串起來
: 然後取 existential quantification over variable p
: 然後取 existential quantification over variable q
: 然後取 existential quantification over variable r
: 然後取 existential quantification over variable s
: 最後取 positive cofactor with respect to variable z
: 最後的式子就是啦～
阿咧~~~ 要這麼複雜呀?!
我寫的很簡單
p = b'+c
q = ab+a'c
r = pq = (b'+c)(ab+a'c) = ...... = a'c+abc
s = p'+d' = ...... = bc'+d'
z = r's+rs' = (a'c+abc)'(bc'+d')+(a'c+abc)(bc'+d)'
= ...... = ab'd'+bc'+c'd'+a'b'cd+a'cd+abcd
--
不能這麼直覺的去解喔
><~~~
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 218.167.74.108