a-b<==>not(not(a)+b)
not(a) and not(b)<====>not(a or b)
not(a) ornot (b)<====>not(a and b)
p指的是not or，如p(a,b)=not(a or b);
p(a,b) = ~a & ~b
not(a) = p(a,a)
and(a,b)= p(p(a,a),p(b,b))
or(a,b) = p(p(a,b),p(a,b))
xor(a,b)= p(p(p(a,a),p(b,b)),p(a,b))
證明：not(a) = ~a = ~a & ~a = p(a,a)
and(a,b) = a & b = ~(~a) & ~(~b) = p(not(a),not(b)) = p(p(a,a),p(b,b))
or(a,b) = a | b = ~(~(a|b)) = ~(~a & ~b) = ~p(a,b) = p(p(a,b),p(a,b))
xor(a,b) = ~a & b | a & ~b = ~(~(~a & b | a & ~b)) = ~(~(~a & b) & ~(a & ~b)) = ~((a | ~b) & (~a | b)) = ~(1 | 1 | a & b | ~a & ~b) = ~(a & b) & ~(~a & ~b) = p(and(a,b),p(a,b)) = p(p(p(a,a),p(b,b)),p(a,b))
q(a,b) = ~a | ~b
not(a) = q(a,a) 1
and(a,b) = q(q(a,b),q(a,b)) 2
or(a,b) = q(q(a,a),q(b,b)) 3
xor(a,b) = q(q(q(a,a),b),q(a,q(b,b))) 5
記錄下s大的分析
VM安裝步驟記錄
前段時間因機房過於擁擠嘗試使用虛擬機器代替物理機,現將安裝步驟記錄下來 所用工具 1.dell伺服器一台 2.vmesxi5.0和vim setup 燒錄盤各一張 3.windows2003 燒錄的安裝盤 和windowsxp ios 安裝步驟 1.首先給伺服器安裝vmesxi5.0 之前伺服器中並...
只是記錄下
一直覺得愉悅工作，是生活的非常重要之組成部分，工作除了能提供物質上的滿足之外，同時也是影響著精神狀態的某些部分。比如成就感。工作形式各異，但不影響我們對精神上某種共識。無論是誰，還是需要這樣乙份工，來豐腴下自己的生活，不管你為的是什麼！物質也好精神也罷，我們只是都想帶著某些目標生活，才能了以慰藉這並...
記錄下callstack資訊
本人曾做過自動測試記憶體洩露的程式。記錄記憶體洩露位置時用 file 和 line 來記錄位置。但重要的callstack資訊沒有記錄下來。無意中看到一篇文章 通過該文，找到了記錄callstack資訊的方法 呼叫下面的api。bool winapi stackwalk64 in dword mac...