邏輯學的問題

請問各位大大一個問題
~(rv(q^r))v~svq
assign proper events to (r,s,q).

[ 本帖最後由 夕陽武士 於 2005-10-24 06:35 PM 編輯 ]

是問邏輯等價嗎？

∵ rv(q^r) <=> r
∴ ~[rv(q^r)] v ~s v q <=> ~r v ~s v q

我沒修過邏輯學,隨便寫寫,
如有錯,請勿見怪,罵罵就好!