1樓:
《高等代數》的第一章結尾說,運算的本質是乙個二元函式,它把在同乙個域(環對加減乘封閉,域對加減乘除封閉)內的兩個元素對映到這個域內的第三個元素:
那我們再看看邏輯運算的本質是什麼?
它的自變數和因變數都是布林值,構成了乙個「布林域」,以下用B表示布林域。
因為自變數只有如下4種可能:
並且運算是結果布林值組成的集合,布林值只有兩種,所以運算共有 種。
嚴格來說,非運算不是高代裡面的狹義運算,因為它只是乙個一元函式,但下面的證明會用到它的對稱性。
首先,設結果依次為 ,
顯然任何運算都可以通過對結果取非來反轉結果,從而把運算化簡到8種。
在這裡,可以選擇固定其中的乙個結果,然後把這個結果作為程式的分支,確定是否反轉其它結果,這樣輸出得到的結果序列,以python語言為例:
list=
fori
inrange(4
):list[i
]=bool
(input
())if
list[0
]==True
:foriin
range(1
,4):list[i
]=!list[i
(list
)選定 為反轉基準,可設 ,其餘結果至多只能有3個為真。
顯然,在自變數不相等的情況下可以進行置換,按輸出的結果是否改變可以分為對稱和非對稱兩種情況。
如果輸出結果和自變數的順序無關,則 ,它們同真同假。
如果輸出結果和自變數的順序有關,則 ,由於布林值的特性,它們必定一真一假
無論哪種,排除對稱和非對稱對其造成的影響,都可以視為這兩個結果的組合:
若對稱,則 ,若非對稱,則
然後開始暴力破解
其中 原命題得證。
令 為布林階躍函式,則:
則 ,均可寫為 和若干個布林階躍函式的或,即
所以原命題得證。
我們接著來證明與非運算能表示出所有邏輯運算。
引理1:
證明:若 ,則
若 ,則
引理2:
證明:顯然
引理3:
證明:由與非定義,顯然
正式證明:
構造階躍函式
則任何運算結果都可以表達為
所以原命題得證。
2樓:
不是任何邏輯,是任何經典命題邏輯的 n 元連線詞。
多值邏輯下3個連線詞往往不是完全的,但是不排除在給定特定語義的情況下這三個連線詞恰好能勝任的可能性。
模態邏輯運算元的表達力顯然強於命題邏輯連線詞量詞的表達力顯然強於命題邏輯連線詞
事實上這三個連線詞中後兩個是可以相互定義的。就是。同理……要精簡的話,乙個邏輯連線詞就夠了:與非/或非。
你有沒有讓人心動的文案 任何型別都可以 ?
微笑吧趁你還有牙 我看什麼都像你,我看月亮,像你,看星星,也像你。那些白亮透澈 溫柔冷清的光,它們都讓我想起你。其實我不太懂喜歡,可我想走向你。 可可托海的信箱 1.感同身受從來不適合聆聽者。2.還是不夠成熟,覺得愛可以挽留。3.我會給你義無反顧的長長久久。4.是無法相愛,也無法忘記的關係,5.我們...
任何發熱的物體是不是都可以理解為能量利用率不高
笑天下 電器裡面只要電路不是超導體做的,就會存在電阻,只要有電阻,通了電就會發熱。也就說除非你電器裡電路全部都是超導體做的,不然你再怎麼改進,都不可能不發熱。就算是全世界最好,能量利用效率最高的節能電燈,也一樣會發熱。想要電器完全不發熱,除非把電阻降成0,不然就不可能實現。 tetradecane ...
是否所有的有限數列都可以由相應的乙個公式生成?
靈劍 學點資訊理論你就不會問這種問題了,你這個想法就跟造第二類永動機本質上是一樣的,資訊量不能無中生有,跟熵不能自行減小是乙個意思 最基礎的原理上來說根本就不需要太多數學論證,既然你要求的是所有的有限數列,那任意乙個有限數列都應該有乙個對應的公式或者編號或者別的什麼,總之你需要有一種方法將它和其他的...