與 或 非 三種邏輯符號(hào) 邏輯表達(dá)式基本公式?
邏輯表達(dá)式基本公式?這些公式實(shí)際上教會(huì)了人們?nèi)绾问褂蒙鲜龆珊鸵?guī)則來(lái)簡(jiǎn)化或演示邏輯函數(shù)。從名稱(chēng)可以看出,在邏輯運(yùn)算中簡(jiǎn)化公式很方便。AB a“B=B,(a”=1,a“是變量的逆變量,邏輯變量是二進(jìn)制邏
邏輯表達(dá)式基本公式?
這些公式實(shí)際上教會(huì)了人們?nèi)绾问褂蒙鲜龆珊鸵?guī)則來(lái)簡(jiǎn)化或演示邏輯函數(shù)。
從名稱(chēng)可以看出,在邏輯運(yùn)算中簡(jiǎn)化公式很方便。AB a“B=B,(a”=1,a“是變量的逆變量,邏輯變量是二進(jìn)制邏輯,只能是0或1)。在這里,這個(gè)方程也可以通過(guò)對(duì)偶性來(lái)擴(kuò)展,
(ab)(a “b)=b,這也表明對(duì)偶性有助于公式的證明。顧名思義,并集的各個(gè)部分首先必須具有相同的因子,然后合并的部分彼此相反。
消除冗余因子的定義有兩部分,從2到3。
A A “B=A B,從公式中,它確實(shí)是一個(gè)消除左公式中一項(xiàng)的因子。證明過(guò)程是:(a “)(ab)=ab。這一步使用了分布規(guī)律的知識(shí)。邏輯運(yùn)算中的分布規(guī)律是非常奇怪的,特別是在這個(gè)公式中。利用邏輯運(yùn)算中的分布規(guī)律,可以實(shí)現(xiàn)一個(gè)變量“或”和兩個(gè)變量?!盎颉钡姆植家?guī)律與算術(shù)運(yùn)算相似。
邏輯運(yùn)算規(guī)則?
1. 邏輯運(yùn)算符的操作規(guī)則:
|或:例如,如果兩個(gè)條件中的一個(gè)為真,則結(jié)果為真;
&;和:例如,如果兩個(gè)條件中的兩個(gè)同時(shí)為真,則結(jié)果為真,否則不為真!不,意思是取相反的意思,如果是真的,結(jié)果就是假的,如果是假的,結(jié)果就是真的。
與或非三種邏輯符號(hào)運(yùn)算法則?
“and”、“or”和“not”邏輯的基本運(yùn)算公式是and、or、not
將關(guān)系表達(dá)式或邏輯量與邏輯運(yùn)算符連接起來(lái)的有意義的公式稱(chēng)為邏輯表達(dá)式。邏輯表達(dá)式的值是邏輯值,即true或false。當(dāng)C語(yǔ)言編譯器給出邏輯運(yùn)算的結(jié)果時(shí),它用數(shù)字1表示“真”,用數(shù)字0表示“假”。但在判斷一個(gè)量是否為“真”時(shí),它用數(shù)字0表示“假”,用數(shù)字非0表示“真”。
布爾用數(shù)學(xué)方法研究邏輯問(wèn)題,并成功地建立了邏輯演算。他用方程來(lái)表達(dá)判斷,把推理看作方程的變換。這種轉(zhuǎn)化的有效性并不取決于人們對(duì)符號(hào)的解讀,而僅僅取決于符號(hào)的組合。這種邏輯理論通常被稱(chēng)為布爾代數(shù)。
怎樣用邏輯運(yùn)算符表示邏輯表達(dá)式?
首先,判斷一年為閏年的條件是,Bai可以除以4、100或400。
假設(shè)一年是x,那么表達(dá)式可以寫(xiě)成:if((x%4==0&;ampx 0==0)| |x@0==0)這樣,只要滿足了“如果”中的條件,就可以判斷這一年是閏年。
提醒一下,像這樣的數(shù)學(xué)表達(dá)式:0=<x<=10在C語(yǔ)言中的書(shū)寫(xiě)方式不同:X>=0&;ampx<=0
??先判斷某一年為閏年的條件是:bai能被4整除,同時(shí)又能被100整除,或者是能被400整除。
假設(shè)某一年為x,那么這個(gè)表達(dá)式就可以寫(xiě)為:if((x%4==0&&x0==0)||x@0==0)這樣只要滿足if里面的條件就可以判斷該年是閏年了。
還有一點(diǎn)提醒一下吧,像這樣的數(shù)學(xué)表達(dá)式:0=<x<=10,在C語(yǔ)言里面的寫(xiě)法跟它是不同的:x>=0&&x<=0
其它的表達(dá)式就都可以這樣類(lèi)推了~
其中邏輯與和邏輯或是雙目運(yùn)算符,邏輯非是單目運(yùn)算符。
1.能被4整除,但不能被100整除,也就是說(shuō)能被4整除的同時(shí)不能被100整除:(x%4==0)&&(x0!=0)
2.能被4整除,又能被100整除:
x@0==0,1
2之間是或者關(guān)系::(x%4==0)&&(x0!=0)||(x@0==0)
在邏輯與邏輯或雙目運(yùn)算符中,邏輯不是單目運(yùn)算符。
1. 可以被4整除,但不能被100整除,也就是說(shuō),可以被4整除而不能被100整除:(x%4==0)&(x 0!= 0)
2. 可被4整除,可被100整除:x@0==0,1
2::(x%4==0)&和(x 0!= 0)||( x@0==0)