發表回覆

主題 通關密語 訪客發文, 請參考 這裡 輸入通關密語.

顯示表情符號

站內上傳圖檔     Upload.cc免費圖片上傳

數學塗鴉工具     常用數學符號表    

用Latex打數學方程式

 


 

+ / -檢視主題

[大學]利用古典邏輯之吸收律及分配律推證

發表 ianlcc 於 星期三 一月 09, 2013 5:19 pm

推證(a,b)=~(a∨b)=~a∨(a∧b)=(~a∧b)∨b
可否有高手協助指導一下,謝謝!