真值表
- LUCIFER 算法置換表的量子可逆線路實現(xiàn)
：檢查函數(shù)f的真值表?？紤]一個給定的可逆線路的真值表，每個輸出比特有2n個值，將它們與輸入比特一一對比，如果相異數(shù)大于2n-1，則需在這個比特的線路上添加NOT門。規(guī)則二：以一系列對換乘積的形式將可逆線路進行分解，保證最終形式中的每一個對換之間相異比特數(shù)為1。規(guī)則三：根據(jù)引理1，將每個對換分解成NOT門和CmNOT門。2.4 算法可行性一個n量子比特的可逆線路是對稱群S2n中的一個置換，反之亦然。兩個門的級聯(lián)等價于S2n中兩個置換相乘。根據(jù)定理2 可知，任
新一代信息技術(shù) 2023年11期2023-11-03
- 數(shù)理邏輯中范式推算的程序化研究與實現(xiàn)
主合取范式，在真值表法基礎(chǔ)上，分析解釋了構(gòu)造析取（合?。┓妒綍r以成真（假）指派反推對應(yīng)?。ù螅╉椀脑颍⒔Y(jié)合計算機語言程序設(shè)計將該解法從理論求解遷移至計算機工具求解，給出了程序設(shè)計的具體流程和代碼，從而更好地實踐“以解決問題為導(dǎo)向掌握和運用工具”學(xué)習(xí)模式以及幫助學(xué)習(xí)者建立定理自動化證明的認知，進一步理解人工智能基礎(chǔ)。1 范式在布爾邏輯中，主析取范式與主合取范式是邏輯公式的標(biāo)準規(guī)范化，其中主析取范式是由各個所涉及命題變元的合取子句即最小項的析??；主合取范式
電腦知識與技術(shù) 2023年16期2023-07-26
- 一道省?？碱}引發(fā)的邏輯問題
?B有如下邏輯真值表(1表示“真”，0表示“假”)：ABA∧BA∨BA?B00001010111001011111從真值表可知，當(dāng)且僅當(dāng)A真、B假時，A?B為假.用真值表或由定義(符號“=df”表示定義的意思，“=”表示左右兩邊的邏輯式真價相等，即常說的“等價”)：A?B=df(A∧B)=A∨B，結(jié)合邏輯運算，我們可以證明：A∨B?C=(A?C)∧(B?C).下面用定義和邏輯運算給出證明.∵A∨B?C=(A∨B)∨C=(A∧B)∨C一般地，有A1∨A2∨…
中學(xué)數(shù)學(xué)研究(江西) 2022年12期2022-12-26
- 基于Multisim 14.0的組合邏輯電路在“物聯(lián)網(wǎng)電子技術(shù)”課程中的應(yīng)用
之間的關(guān)系列出真值表，根據(jù)真值表寫出邏輯表達式。（3）對邏輯函數(shù)進行化簡處理。（4）根據(jù)最簡邏輯表達式繪制相應(yīng)邏輯電路。3.2 電路變量分析定義輸入、輸出邏輯變量，并將文字敘述抽象為邏輯描述。根據(jù)題意可知，該系統(tǒng)的輸入變量有3個，即A、B、C，分別用0、1來表示，輸出變量為F、G，其中G為進位。（1）根據(jù)邏輯功能要求列出真值表，見表1所列。表1 全加器真值表（2）由邏輯狀態(tài)寫出表達式，分別如下：（3）化簡邏輯式：F1卡諾圖化簡如圖1所示。圖1 F1卡諾圖化
物聯(lián)網(wǎng)技術(shù) 2022年11期2022-11-22
- 有限域上一類對合多項式的計數(shù)
有對合多項式的真值表,然后通過MATLAB利用拉格朗日插值公式得出每個真值表對應(yīng)的多項式形式,其結(jié)果如附錄表1～8所示.例 3.1取f(x)=x5-x4+x3-x2+2x-1∈F7[x],則f(x)的真值表如下.x0123-3-2-1f(x)-1123-3-20由真值表可知:f(x)為F7上的對合多項式,且Af={1,2,3,-3,-2},Bf={(0:-1)}.一方面,若g(x)為F7上的對合多項式,由定理1.3的2)可知通過枚舉法將所有結(jié)果羅列出來后,
四川師范大學(xué)學(xué)報（自然科學(xué)版） 2022年5期2022-09-27
- PLC編程中避免雙線圈的方法探究
線圈。1.2 真值表法使用1.1中的例子，通過分析可以得到輸出的條件有兩個：X0和X1；輸出的結(jié)果有兩個：Y0和Y1。將輸入條件按照二進制的編碼列出，其輸出真值表，見表1。表1 輸入/輸出真值表根據(jù)真值表：Y1=1的條件是X1=1；Y0=1的條件是X0=1或X1=1，所以將程序設(shè)計為：1.3 位元件組合+觸點比較法由位元件也可構(gòu)成字元件進行數(shù)據(jù)處理，位元件組合由Kn加首元件號來表示。三菱FX3U系列PLC中，4個位元件為一組，并組合成單元。16位數(shù)操作時為
中國設(shè)備工程 2021年14期2021-07-30
- 分辨矩陣在邏輯優(yōu)化中的應(yīng)用
可由布爾函數(shù)或真值表來描述。通過化簡布爾函數(shù)或真值表，可以減少邏輯網(wǎng)絡(luò)的復(fù)雜性，從而提高電路的可靠性并降低系統(tǒng)功耗。K-map（Karnaugh map）[1]是典型的圖形表示的布爾函數(shù)化簡方法，當(dāng)輸入變量超過5 時其圖形難以理解。Q-M（Quine-McCluskey algorithms）[1]方法更便于計算機計算，但是Q-M 算法的運行時間隨變量數(shù)量呈指數(shù)增長。隨著電路規(guī)模不斷擴大，數(shù)據(jù)挖掘理論的迅速發(fā)展，從知識工程角度重新考慮邏輯電路優(yōu)化，是一種新
計算機與生活 2021年7期2021-07-22
- 離散數(shù)學(xué)中命題邏輯的應(yīng)用研究
從容而去。試用真值表及范式說明理由。解：簡單命題形式化。p：戰(zhàn)士乙(不妨假設(shè)為誠實人)判斷A門是死門q：戰(zhàn)士甲(不妨假設(shè)為說謊人)對戰(zhàn)士甲的判斷(q=┐p)r：A門是生門(r=┐p)根據(jù)題意可得真值如表2所示。表2 生死門真值表即戰(zhàn)士甲的回答是“是”時，A門是生門，邏輯學(xué)家可從A門離去；當(dāng)戰(zhàn)士甲的回答是“否”時，A門是死門，邏輯學(xué)家從B門離去。1.4 程序下載例：設(shè)有一個在Internet上下載新聞的程序[11]，為避免程序產(chǎn)生死循環(huán)和重復(fù)下載同一個新聞條
計算機技術(shù)與發(fā)展 2021年3期2021-04-06
- 基于multisim 的四人表決器的設(shè)計與仿真
出變量，并列出真值表，利用公式化簡法或卡諾圖化簡法求出最簡邏輯表達式，根據(jù)實際選用的邏輯門電路類型修改最簡邏輯表達式，畫出邏輯圖，最后利用multisim［1-7］（沒看懂為啥這么多引用）虛擬仿真平臺來驗證設(shè)計的正確性。 本文基于組合邏輯電路設(shè)計原理，設(shè)計并完成四人表決器的仿真測試。 實驗結(jié)果表明該表決系統(tǒng)運行正確。1 四人表決器的設(shè)計四人表決器的工作原理如下：設(shè)比賽共有4 名裁判A、B、C、D，當(dāng)3 名或及3 名以上裁判表決同意時，輸出指示燈Y 才會亮，
智能計算機與應(yīng)用 2020年6期2020-11-11
- A、E、I、O和真值表對現(xiàn)實和可能世界的反映程度
系得到反映。而真值表可以反映判斷的真假，也可以說可以將現(xiàn)實世界和可能世界中的各種情況的真假情況得到更清晰的表現(xiàn)，真值表也足以使現(xiàn)實世界和可能世界中的真假問題得到反映。這兩者以最簡要的方式使現(xiàn)實世界和可能世界得到最基本的反映，但是達到這種反映還不夠，還需要通過實踐和自然語言得到更好的解釋和反映，所以在這里，自然語言就成為了判斷和真值表反映現(xiàn)實世界和可能世界的“中介”。現(xiàn)實世界和可能世界是怎樣的，怎樣才能得到反映呢？現(xiàn)實世界和可能世界中有一系列的客觀事物、人物
- PPP項目中合同設(shè)計對績效的影響
; QCA; 真值表; 績效影響【中圖分類號】 F283 ?【文獻標(biāo)識碼】 A ?【文章編號】 1004-5937（2020）16-0095-07在PPP改革四年以來，堅持新發(fā)展理念，推動供給側(cè)結(jié)構(gòu)性改革，防控財政金融風(fēng)險，支持扶貧脫貧，開展污染防治，深入貫徹“五位一體”總體布局和“四個全面”戰(zhàn)略布局，在深度和廣度方面都得到巨大發(fā)展。截至2018年12月末，PPP入庫項目現(xiàn)有8 839個，入庫項目金額13.4億元[1]。然而，PPP項目在快速發(fā)展的過程中也
會計之友 2020年16期2020-08-04
- 《離散數(shù)學(xué)》中二元關(guān)系傳遞性的判定
文列出傳遞性的真值表，利用真值表判斷傳遞性直觀有效，只有一種情形不滿足傳遞性，其余情形都滿足傳遞性。關(guān)鍵詞 《離散數(shù)學(xué)》 二元關(guān)系0引言在《離散數(shù)學(xué)中》，二元關(guān)系的性質(zhì)包括自反性、反自反性、對稱性、反對稱性和傳遞性。其中前四個性質(zhì)可以由定義和關(guān)系圖直觀地表達，但是否滿足傳遞性僅從定義很難觀察出來。二元關(guān)系傳遞性的定義如下：如果從定義來看，只能發(fā)現(xiàn)一種情形是滿足傳遞性的，即如，，，是傳遞的，但是，怎么用定義來判斷是否滿足傳遞性呢？1利用真值表判斷傳遞性我們不
科教導(dǎo)刊·電子版 2020年2期2020-05-11
- 74151在數(shù)據(jù)選擇和組合邏輯電路中的靈活應(yīng)用
，使之與所需的真值表相對應(yīng)。這樣就能完成一個任意的三輸入的組合邏輯電路[2]。比如，我們要實現(xiàn)如圖3所示的的真值表的邏輯功能。該真值表反映的功能是檢驗輸入的ctl_A、ctl_B和ctl_C三個數(shù)中1的個數(shù)是否為偶數(shù)，如果有偶數(shù)個1出現(xiàn)，則輸出端輸出1；如果有奇數(shù)個1出現(xiàn)，則輸出端輸出為0，可以用來生成奇偶校驗位。根據(jù)這個真值表，我們可以給74151的數(shù)據(jù)輸入端進行相應(yīng)的電位連接，如圖4所示：這樣就可以實現(xiàn)任何的三輸入的邏輯功能，我們只需要修改數(shù)據(jù)輸入端口
科學(xué)與財富 2019年19期2019-12-11
- 飛機燃油測量系統(tǒng)設(shè)計誤差影響
樣的高度中插入真值表，就能夠得出油箱中油的體積V2，因此可以計算出傳感器的誤差為V2減去V1的差值再除以V1。用這種驗證方式的前提條件是必須建立在一定條件上的，這個條件就是我們需要假設(shè)油箱數(shù)學(xué)模型是絕對準確的。利用這種驗證方式的好處是：能夠確認布置的方案滿足測量的連續(xù)性；同時還要保證測量的連續(xù)性符合要求，這兩個條件都滿足之后就可以計算出真值表的精確程度。3 飛機燃油測量系統(tǒng)產(chǎn)生誤差分析通過上面的分析，我們可以得出結(jié)論，我們在設(shè)計傳感器的時候，應(yīng)該滿足兩個條
電子技術(shù)與軟件工程 2019年3期2019-04-28
- 基于multisinl的設(shè)備報警計數(shù)系統(tǒng)的設(shè)計與仿真
首先可列出相關(guān)真值表，再通過真值表寫出相應(yīng)的邏輯表達式，然后對表達式進行公式法或卡諾圖化簡，并基于74LSOO輸入與非門得到最簡與非一與非表達式。最后根據(jù)最簡與非一與非式得到邏輯仿真圖。1.1列出真值表表1為設(shè)備報警功能的真值表。1.2化簡表達式根據(jù)表1可以得到，再利用公式法將其化簡為。然后對該表達式進行兩次取反，并根據(jù)摩根定律化簡為最簡的與非一與非式，從該表達式可以看出，需要5個與非門來完成。1.3邏輯仿真圖打開Muhisim軟件，單擊工具條上的“Pla
電腦知識與技術(shù) 2019年33期2019-01-08
- 粒計算在數(shù)字邏輯電路分析與設(shè)計中的應(yīng)用
利用邏輯函數(shù)或真值表，完成對系統(tǒng)中輸入與輸出兩者間邏輯關(guān)系的科學(xué)描述。真值表化簡是邏輯優(yōu)化過程中一項關(guān)鍵內(nèi)容，其在數(shù)字邏輯電路分析與設(shè)計中發(fā)揮著重要作用。如果從知識工程角度對問題進行分析，可以將真值表看作一個知識表達系統(tǒng)，真值表真的每一行也就是一條路基規(guī)則?，F(xiàn)代人們對粒計算知識系統(tǒng)最簡規(guī)則的研究已經(jīng)取得了一定成果，在問題分析期間，要對這一研究成果進行合理應(yīng)用，將其合理的應(yīng)用到真值表簡化中。此外，布爾邏輯還具有一些特殊的鼎立和運算規(guī)則，在設(shè)計問題分析期間，通
數(shù)碼世界 2018年4期2018-12-25
- 電子技術(shù)教學(xué)中實驗環(huán)節(jié)的有效利用
輯電路圖，寫出真值表。最后給出的要求設(shè)計出可以實現(xiàn)的邏輯電路，根據(jù)要求列出真值表，寫出邏輯表達式，畫出邏輯電路，學(xué)生經(jīng)過一系列實驗加強鞏固邏輯門電路的應(yīng)用。關(guān)鍵詞：芯片引腳；邏輯電路圖；邏輯表達式；真值表一、實驗?zāi)康?.了解集成芯片CC4011的引腳排列及功能。2.學(xué)會用“與非門”實現(xiàn)邏輯函數(shù)的方法。3.掌握組合邏輯電路的分析方法。4.掌握組合邏輯電路的設(shè)計方法。二、原理與說明三、設(shè)備與器件數(shù)字電路實驗箱74HC10集成芯片CC4011四、內(nèi)容與步驟1、組
科技信息·下旬刊 2018年8期2018-10-21
- 基于ActionScript編程的虛擬實驗電路自動布線設(shè)計
參數(shù)傳遞，滿足真值表驗算和表達式自動顯示，其中自動布線是核心技術(shù)。2.設(shè)計思路要滿足虛擬實驗系統(tǒng)的電路自動布線，實現(xiàn)需建立具有基本邏輯功能的門電路模型。門電路模型主要實現(xiàn)輸出端與輸入端的邏輯功能，在一般的程序里面一個布爾運算便能實現(xiàn)。但在虛擬實驗系統(tǒng)中，需要確定一個方案，核心功能是讓同一個門電路模型被選中多次使用時，模型各端口的編號、性質(zhì)、參數(shù)如何自動定義、判別和傳遞而不出現(xiàn)混亂。元件之間自動連線時會根據(jù)元件位置不同捕捉和記錄端點坐標(biāo)，在元件連線時，系統(tǒng)能
數(shù)碼世界 2018年6期2018-07-12
- 四識簡單邏輯電路
單邏輯電路1.真值表與高、低電勢無論輸入端還是輸出端，真值表標(biāo)1，均表示該端點為高電勢；而如果輸入端、輸出端真值表標(biāo)0，均表示該端點為低電勢。2.三類門電路符號和對應(yīng)真值表（1）門電路框格中，“＆”是“與”門標(biāo)志，符號是圖1，對應(yīng)真值表是表1。圖1表1 “與"門標(biāo)志對應(yīng)真值（2）門電路框格中，“1”是“非”門標(biāo)志，符號是圖2，常見有圖2（a）（b）兩種表示方式，對應(yīng)真值表是表2。圖2表2 “非"門標(biāo)志對應(yīng)真值（3）門電路框格中，“≥1”是“或”門標(biāo)志，對應(yīng)
名師在線 2018年9期2018-06-29
- 基于虛擬儀器的邏輯式化簡與實現(xiàn)
現(xiàn)邏輯式、邏輯真值表和邏輯電路之間的互相變換和邏輯式的化簡。圖1 顯示面板及圖標(biāo)邏輯轉(zhuǎn)換器顯示面板中A～H表示輸入端區(qū)域，如果邏輯式中輸入變量小于等于8個，則可用鼠標(biāo)點擊選中相應(yīng)的輸入端就可以了；右側(cè)有6個功能按鈕，按鈕的功能是將邏輯式變換成對應(yīng)的由與非門構(gòu)成的邏輯圖；按鈕的功能是將邏輯式變換成對應(yīng)的邏輯圖；按鈕的功能是將邏輯式變換成對應(yīng)的真值表；按鈕的功能是將真值表變換成對應(yīng)的最簡與或邏輯式形式；按鈕的功能是將真值表變換成對應(yīng)的邏輯式形式。3 化簡實例已
電子世界 2018年6期2018-04-11
- 相容關(guān)系模型及其在邏輯優(yōu)化中的應(yīng)用*
模型實現(xiàn)了普通真值表的快速并行約簡，但是該方法處理邏輯表達式時需要將其展開為最小項，并轉(zhuǎn)化為完整輸入狀態(tài)的真值表，轉(zhuǎn)化過程較為繁瑣，也會增加額外的空間復(fù)雜度。粒計算是一種處理具有不確定性的大量復(fù)雜信息的方法論，它通過把復(fù)雜問題抽象、劃分，從而轉(zhuǎn)化為若干較為簡單的問題，有助于更好地分析和解決問題。根據(jù)數(shù)字電路相關(guān)知識，邏輯表達式的與或式均可以轉(zhuǎn)化為特殊的不完備決策表。近年來，眾多學(xué)者基于粒計算對不完備決策表的研究取得了較大的進展。邵明文等人[12]基于粗糙集
計算機與生活 2018年3期2018-03-12
- Multisim14.0軟件在數(shù)字電子技術(shù)教學(xué)中的應(yīng)用
表達式列出邏輯真值表，最后通過對真值表的分析確定邏輯功能。與組合邏輯電路的分析相反，對于給定的邏輯功能，實現(xiàn)其邏輯電路的過程，就是對組合邏輯電路的設(shè)計，設(shè)計過程一般是：首先根據(jù)設(shè)計要求確定輸入和輸出變量，并對邏輯變量進行邏輯賦值，然后根據(jù)邏輯功能列出邏輯真值表，再根據(jù)邏輯真值表寫出邏輯表達式，之后根據(jù)實際需要進行邏輯表達式的化簡或變換，最后將化簡或變換后的邏輯表達式轉(zhuǎn)換成邏輯電路圖。顯而易見，不論是組合邏輯電路的設(shè)計還是分析，其實質(zhì)都是同一邏輯關(guān)系的不同表
電子技術(shù)與軟件工程 2018年14期2018-02-26
- 基于STC15單片機邏輯IC檢測器的設(shè)計與實現(xiàn)
輯芯片的功能及真值表，使與邏輯芯片輸入端相連的I/O口，輸出相應(yīng)的邏輯電平，然后通過與邏輯芯片輸出相連的I/O口，獲取其相應(yīng)的輸出電平，再與真值表相比對，得出此邏輯芯片的功能好壞。選用增強型的51單片機，具有推挽的功能，能使其I/O口在輸出“1”或“0”時，可以流出或流入更大的電流，因此可直接用推挽模式的I/O口，給邏輯芯片提供電源，簡化了電路設(shè)計的難度。顯示部分，選用分辨率較高的中文液晶12864，能使操作使用更加直觀明了，同時因其是點陣式液晶，可加入顯
實驗室研究與探索 2017年10期2017-12-12
- 一種變異真值表故障模型的神經(jīng)網(wǎng)絡(luò)測試生成算法
01）一種變異真值表故障模型的神經(jīng)網(wǎng)絡(luò)測試生成算法戴金玲1，許愛強2（1.海軍航空工程學(xué)院 研究生二隊，山東 煙臺 264001；2.海軍航空工程學(xué)院 科研部，山東 煙臺 264001）針對傳統(tǒng)測試生成算法計算復(fù)雜度高的問題，提出一種針對邏輯門功能異常的故障模型，并給出了基于遺傳優(yōu)化的神經(jīng)網(wǎng)絡(luò)測試生成算法。首先，與傳統(tǒng)算法以固定值故障為目標(biāo)不同，構(gòu)建更全面的變異真值表故障模型，在考慮各輸入條件下故障的不同權(quán)重的同時，按故障模型自動生成故障字典；然后，測試生
電子設(shè)計工程 2017年19期2017-10-12
- 一種常用數(shù)字電路芯片功能檢測系統(tǒng)
對芯片功能表或真值表的輸入、管理及發(fā)送；硬件電路負責(zé)接收功能表或真值表信號并完成芯片的檢測，得出芯片是否損壞或功能是否正常的結(jié)果，并顯示或報警。本系統(tǒng)可以降低數(shù)字電路實踐中檢測芯片的難度和復(fù)雜度，并提高準確度，為實驗結(jié)果的正確性奠定了基礎(chǔ)。數(shù)字電路； 芯片檢測； 實踐教學(xué)0 引 言伴隨數(shù)字電子技術(shù)的發(fā)展與壯大使得全球信息化進程得到發(fā)展[1]?！皵?shù)字電子技術(shù)”課程是高等學(xué)校電氣類、電子信息類、自動化、機電類和計算機類專業(yè)的重要必修基礎(chǔ)課程，課程的顯著特點之一
實驗室研究與探索 2017年5期2017-06-19
- 離散數(shù)學(xué)課程中主范式求解問題的教學(xué)研究
邏輯部分里利用真值表求解命題公式的主范式又是課程的重點內(nèi)容之一。目前常見的離散數(shù)學(xué)教材對該部分的講解均缺乏原理性的介紹，使得學(xué)生理解起來有一定的難度。本文基于命題公式與真值表的等價性，介紹了利用真值表求解命題公式的主范式的原理，為該部分內(nèi)容教學(xué)的深化和系統(tǒng)化提供了較好的參考?！娟P(guān)鍵詞】離散數(shù)學(xué) 真值表 主合取范式 主析取范式【中圖分類號】G64 【文獻標(biāo)識碼】A 【文章編號】2095-3089（2017）17-0131-01《離散數(shù)學(xué)》在我國各工科高校的教
課程教育研究 2017年17期2017-05-31
- 可逆邏輯電路邏輯圖及波形圖圖示化方法
仿真結(jié)果得到的真值表進行可逆化構(gòu)造。利用C語言編程實現(xiàn)，將相關(guān)結(jié)果以更直觀的形式展現(xiàn)，這在可逆邏輯電路的研究中具有創(chuàng)新性?？赡孢壿嬰娐罚贿壿嬰娐穲D；仿真波形圖；可逆真值表可逆邏輯電路及相關(guān)問題的研究源于對可逆計算理論的探索?？赡嬗嬎鉡1]是一門新興的研究領(lǐng)域?？赡孢壿嬰娐穂2-3](Reversible Logic Circuit)是能實現(xiàn)可逆計算的電路，由若干量子邏輯門[4]級聯(lián)而成，是對量子信息作一系列幺正變換以實現(xiàn)指定的邏輯功能，代表著可逆信息處理中
電子科技 2016年11期2016-12-19
- 基于邏輯表決器的組合邏輯電路的設(shè)計
出變量，并列出真值表。然后用邏輯代數(shù)或卡諾圖化簡法求出簡化的邏輯表達式。并按實際選用邏輯門的類型修改邏輯表達式。根據(jù)簡化后的邏輯表達式，畫出邏輯圖，用標(biāo)準器件構(gòu)成邏輯電路[1]。最后，用實驗來驗證設(shè)計的正確性。同樣的邏輯電路設(shè)計可以用不同的設(shè)計方案來完成，本文以三人邏輯表決器為例來說明，TTL集成電路、中規(guī)模集成譯碼器和中規(guī)模集成數(shù)據(jù)選擇器的邏輯功能和設(shè)計原理及其應(yīng)用。1 三人邏輯表決器的設(shè)計設(shè)計要求與邏輯描述：用“與非”門設(shè)計一個表決電路。當(dāng)3個輸入端中
山西電子技術(shù) 2016年5期2016-11-30
- 11位多數(shù)判決器的層次化設(shè)計
決器一樣列出其真值表，然后根據(jù)真值表寫出邏輯功能表達式［1-3］，那么11位的多數(shù)判決器將會形成一個211=2 048行的真值表，可以想象通過真值表來得出邏輯表達式幾乎是不可能的。所以本課題在于設(shè)計一種簡化的多數(shù)判決（majority vote）算法，通過這個算法對輸入向量進行分模塊化處理［2-3］，并分層次得出相應(yīng)的電路邏輯 關(guān) 系［4-6］。1 方案設(shè)計1.1 方案介紹Data_Ready信號為1時，才對輸入數(shù)據(jù)進行檢查，那么Data_Ready信號輸
實驗科學(xué)與技術(shù) 2016年5期2016-11-12
- 飛機燃油測量系統(tǒng)設(shè)計誤差影響分析
方案，然后生成真值表，在這個過程中會產(chǎn)生誤差。本文介紹了傳感器布置和生成真值表的方法，分析了每個階段產(chǎn)生的誤差對測量精度的影響，從而確定減小誤差的方法?！娟P(guān)鍵詞】燃油測量系統(tǒng)；傳感器；精度；真值表【Abstract】Fuel gauging system needs to provide probe placement，and generate H-V table during design phase.It introduced the method f
科技視界 2016年22期2016-10-18
- 一類3值邏輯2元Sheffer函數(shù)
G(x,y)的真值表是如下的一個九宮格：一個3值2元Sheffer函數(shù)的真值表其V1位置上不可能是0。因為如果這個位置是0，意味著G(0,0)=0，因此G(x,y)就不可能定義出3值一元函數(shù)～x：同樣，一個3值2元Sheffer函數(shù)的真值表其V5位置上不可能是1，V9位置上也不可能是2。一個3值2元邏輯函數(shù)G(x,y)如果是Sheffer函數(shù)，那么其真值表可能是如下情形之一。一個3值2元Sheffer函數(shù)要能定義出所有的3值邏輯函數(shù)，當(dāng)然包括諸如max(x
華南師范大學(xué)學(xué)報（社會科學(xué)版） 2016年1期2016-06-17
- 任務(wù)引領(lǐng)的組合邏輯電路應(yīng)用教學(xué)設(shè)計
組合邏輯電路；真值表；邏輯電路圖為使教學(xué)內(nèi)容和時代發(fā)展的步伐保持一致，在教學(xué)過程中必須緊密關(guān)注和課程相關(guān)的專業(yè)領(lǐng)域的新技術(shù)、新設(shè)備和新應(yīng)用實例。要以實際發(fā)展需要的工程實際問題作為主要教學(xué)內(nèi)容，開闊學(xué)生眼界，使學(xué)生更貼近工程實際和時代要求。本文主要選用工程典型案例做為組合邏輯電路設(shè)計的項目來進行講解，讓學(xué)生在獨立思考和設(shè)計的過程中，熟悉組合邏輯電路的設(shè)計方法，學(xué)會分解項目，設(shè)計最佳邏輯電路。一、組合邏輯電路的基本概念組合邏輯電路從邏輯的角度來講是在每一個時刻
鄭州鐵路職業(yè)技術(shù)學(xué)院學(xué)報 2016年1期2016-05-04
- EDA技術(shù)與數(shù)字電路的融合研究
過功能分析——真值表——邏輯表達式——化簡——器件的選擇等，最終采用門電路或者中規(guī)模集成電路實現(xiàn)，電路圖比較固定，照此連線基本能夠得出結(jié)果，而對于其內(nèi)部的邏輯關(guān)系、工作原理未必掌握得透徹。本文以全加器為例采用傳統(tǒng)設(shè)計方法和兩種EDA設(shè)計方法相結(jié)合，然后對比，從而驗證將EDA技術(shù)與數(shù)字電路的融合的優(yōu)越性。1 全加器的傳統(tǒng)設(shè)計方法在計算機中，加法器是最重要的基本運算單元，雖然實現(xiàn)加法器電路的設(shè)計有多種形式，但構(gòu)成該電路的基本單元就是半加器和全加器。全加器是實現(xiàn)
電子測試 2016年23期2016-02-09
- 采用輸入輸出分解的分區(qū)分段演化機制
路輸入分解采用真值表分解實現(xiàn)。分解的依據(jù)是任何組合邏輯電路的真值表均可根據(jù)其某一輸入的取值情況(0或1)分解為2個較簡單的真值表［12］。根據(jù)需要對原始真值表逐級分解，即可得到期望復(fù)雜度的子電路。以圖2(a)所示具有n輸入m輸出的原始組合邏輯電路F為例，其真值表如圖2(b)所示，包含p=2n個輸入輸出組合。圖2 原組合邏輯電路及其真值表Fig.2 Original logic circuit and its truth table如圖3(a)所示該電路可分
哈爾濱工程大學(xué)學(xué)報 2015年4期2015-08-23
- 巧用真值表法編寫PLC時序控制程序
1000）巧用真值表法編寫PLC時序控制程序王學(xué)軍,陸青玲 （山西臨汾高級技工學(xué)校,山西臨汾041000）摘要：本文以按一定時間循環(huán)控制的小項目為例，介紹了一種試用于中高職學(xué)生及廣大初中級電工自學(xué)者，并且應(yīng)用較為廣泛的PLC時序控制梯形圖的真值表編制設(shè)計技巧。關(guān)鍵詞：時序控制;真值表;定時器接力棒輸出法;定時器連續(xù)輸出累積計時法1 前 言中高職維修電工專業(yè)的課程設(shè)置中《ΡLC基礎(chǔ)與實訓(xùn)》是理論和實踐性很強的一門課程，對于基礎(chǔ)薄弱的中職學(xué)生及一些渴望自學(xué)成才
山東工業(yè)技術(shù) 2015年14期2015-07-27
- 組合邏輯電路的設(shè)計方法
實際問題向邏輯真值表轉(zhuǎn)化，然后再向最簡函數(shù)式轉(zhuǎn)化，通過函數(shù)式來畫出邏輯電路圖。該種設(shè)計思路非常的清晰，但是如果邏輯變量增加，那么在列真值表時也會非常的麻煩，如果邏輯變量函數(shù)值超過5個，那么真值表的取值組合將會超過32項，因此最終如果想要獲得函數(shù)式將會非常困難，面對這種情況我們只需少輸入幾個邏輯變量進行簡化設(shè)計。問題：設(shè)計一個8位二進制代碼奇偶校驗電路，如果8個代碼包含有偶數(shù)個1時，則輸出即為1，如果代碼中包含有奇數(shù)個1時，其輸出為0。我們將8個輸入變量的8
山東工業(yè)技術(shù) 2015年4期2015-07-26
- 基于Visio的量子電路矢量圖自動繪制
定的信號，所以真值表的計算可以驗證這個電路是否已經(jīng)達到事先設(shè)置的要求。所以還提供該量子電路的真值表，方便用戶查看并分析產(chǎn)生的量子電路。關(guān)鍵詞：量子電路；點陣圖；量子門；TFC文件；Visio二次開發(fā)；真值表中圖分類號：TN91 文獻標(biāo)識碼：A 文章編號：1009-3044（2015）12-0237-04Visio-based Automatically Drawing of Vector Quantum CircuitWANG Qiu-li， CAI So
電腦知識與技術(shù) 2015年12期2015-07-18
- 基于MSI的四位奇偶校驗器設(shè)計
四位奇偶校驗的真值表，根據(jù)列出的真值表，與三位的進行對比，找出其聯(lián)系，運用三位奇偶校驗的邏輯方程推導(dǎo)出四位奇偶校驗的邏輯方程。再根據(jù)所要求的器件進行連線，與多個74LS00（與非門）進行配合達到奇偶校驗的目的。2 電路設(shè)計，仿真2.1 74LS151（8選一數(shù)據(jù)選擇器）74LS151是集成數(shù)據(jù)選擇器，包含三個地址端A,B,C，以及8個輸入端口：D0—D7兩個互補輸出端口Y,W.G為使能端，低電平有效。當(dāng)G=0時，芯片進入工作狀態(tài)，將從數(shù)據(jù)輸入端口中選擇需要
科技傳播 2015年5期2015-04-18
- 基于Matlab/Simulink的數(shù)字電路仿真
結(jié)果表1全加器真值表Ci-1AiBiSiCi0000000110010100110110010101011100111111表1為一位全加器的真值表，其中Ai為被加數(shù)，Bi為加數(shù)，Ci-1為相鄰低位來的進位，Si為輸出本位和，Ci為向高位進位.化簡真值表可得全加器的表達式為：Si=Ai?Bi?Ci，Ci=AiBi+Ci-1(Ai?Bi).根據(jù)邏輯表達式，利用Simulink的Logic and Bit Operations子庫中的Logic Operato
玉溪師范學(xué)院學(xué)報 2015年4期2015-03-27
- 弗完全邏輯P1及其容忍悖論的邏輯機制
了弗完全邏輯擬真值表的具體列法，表明了系統(tǒng)P1的可判定性；利用擬真值表方法，表明了一般意義排中律在P1中的失效；對弗完全邏輯P1可以容忍邏輯悖論的邏輯機制進行了解析，并就此將弗協(xié)調(diào)邏輯C1和P1進行了容忍能力的比較。弗完全邏輯；排中律；真矛盾；邏輯悖論；弗協(xié)調(diào)“弗完全”（paracomplete）是“弗協(xié)調(diào)”（paraconsistent，又譯“次協(xié)調(diào)”、“亞相容”、“超一致”等）的對偶（dual）概念，此概念最早是由弗協(xié)調(diào)邏輯學(xué)家羅普瑞克、達·科斯塔、馬
四川師范大學(xué)學(xué)報（社會科學(xué)版） 2015年1期2015-03-14
- 基于粒矩陣的多輸入多輸出真值表快速并行約簡算法
的多輸入多輸出真值表快速并行約簡算法陳澤華*馬 賀（太原理工大學(xué)信息工程學(xué)院 太原 030024）真值表是表征邏輯輸入與輸出之間因果關(guān)系的重要工具，真值表約簡在數(shù)字邏輯電路的分析與設(shè)計中具有重要意義。該文將真值表看作邏輯信息系統(tǒng)，將真值表約簡轉(zhuǎn)化為邏輯信息系統(tǒng)的最簡規(guī)則獲取。采用粒計算分層?；乃枷?，在不同粒度下，利用粒矩陣的知識表示形式、粒矩陣中的啟發(fā)式知識以及粒矩陣運算，設(shè)計了多輸入多輸出真值表快速并行約簡算法。以發(fā)光二極管七段數(shù)字顯示器為例進行了算法
電子與信息學(xué)報 2015年5期2015-02-05
- 淺談電氣控制線路的邏輯代數(shù)設(shè)計方法
；邏輯設(shè)計法；真值表；與；或；非中圖分類號：TM921 文獻標(biāo)識碼：A邏輯設(shè)計法是利用邏輯代數(shù)這一數(shù)學(xué)工具來進行電路設(shè)計，即根據(jù)生產(chǎn)機械的拖動要求及工藝要求，將執(zhí)行元件需要的工作信號以及主令電器的接通與斷開狀態(tài)看成邏輯變量，并根據(jù)控制要求將它們之間的邏輯關(guān)系用邏輯關(guān)系式來表達，然后再運用邏輯函數(shù)基本公式和運算規(guī)律進行簡化，使之成為需要的最簡“與”、“或”關(guān)系式，根據(jù)最簡式畫出相應(yīng)的電路結(jié)構(gòu)圖，最后再作進一步的檢查和完善，即能獲得需要的控制線路。邏輯代數(shù)也可
科學(xué)之友 2015年7期2015-01-22
- 基于Multisim對數(shù)字邏輯電路的設(shè)計
先根據(jù)要求列出真值表,由真值表寫出邏輯函數(shù),然后進行邏輯函數(shù)化簡,最后根據(jù)化簡結(jié)果設(shè)計電路圖,整個設(shè)計過程比較繁瑣,且容易在化簡過程等環(huán)節(jié)中出現(xiàn)錯誤,如果借助于Multisim軟件來進行數(shù)字邏輯電路的設(shè)計,可以簡化設(shè)計過程,提高電路設(shè)計的正確性。本文基于以上思路來探討利用Multisim對數(shù)字邏輯電路的設(shè)計。數(shù)字電路 Multisim 電路設(shè)計1 引言Multisim是美國國家儀器(NI)有限公司推出的以Windows為基礎(chǔ)的仿真工具,適用于板級的模擬/數(shù)
中國科技縱橫 2014年23期2014-12-11
- 0-1整數(shù)規(guī)劃模型中邏輯表達式的一些注記
行了研究，利用真值表等工具給出了相應(yīng)的結(jié)果.0-1整數(shù)規(guī)劃；二值變量；真值表0 引言優(yōu)化模型是最為重要的數(shù)學(xué)模型之一[1- 2].如果在優(yōu)化模型中決策變量取0和1的二值變量，則稱此模型為0-1整數(shù)規(guī)劃模型.0-1整數(shù)規(guī)劃模型是一類重要的優(yōu)化模型，在指派問題、配送問題等求解中發(fā)揮著重要作用[3]112-115.本文從建立0-1整數(shù)規(guī)劃模型的實際出發(fā)，對該模型中若干邏輯表達式線性表示、互斥和乘積表達式轉(zhuǎn)化以及指派問題中能力限制約束的表示問題進行了研究，給出了相
河南教育學(xué)院學(xué)報（自然科學(xué)版） 2014年4期2014-07-25
- 基于國家標(biāo)準的可靠性建模問題與對策探討★
法的分析，表明真值表法可以有效地實現(xiàn)關(guān)鍵可靠性措施，但存在兩個難題， 分別是故障預(yù)測與系統(tǒng)健康管理（PHM）技術(shù)的可靠性評估和基于真值表法的可靠性分配。 給出基于真值表法的 PHM 評估方法， 并發(fā)現(xiàn)實現(xiàn) PHM 技術(shù)的自主性是提高有效載荷可靠性的關(guān)鍵； 給出基于成功次數(shù)的重要度定義，并推導(dǎo)了可靠性建模與分配的理論公式。理論分析表明，上述方法簡單、有效、易以實施并滿足有效載荷分系統(tǒng)的工作實際。國家標(biāo)準；真值表法；故障預(yù)測與系統(tǒng)健康管理；有效載荷分系統(tǒng)符號說
電子產(chǎn)品可靠性與環(huán)境試驗 2014年1期2014-07-07
- 組合邏輯電路設(shè)計的學(xué)習(xí)方法探討與實踐
路功能寫出來的真值表相同，就意味著可以采用相同的電路來完成其功能，通過把這種類型的設(shè)計題目搜集和歸類，可以節(jié)省大量的電路設(shè)計時間，對學(xué)生學(xué)習(xí)效率的提高和知識的綜合應(yīng)用都會起到很大作用。本文以三人多數(shù)表決器電路設(shè)計為例，從兩方面探討和總結(jié)了電路設(shè)計題目的特點，希望學(xué)習(xí)者能夠借鑒這種學(xué)習(xí)方法，達到綜合掌握知識的目的。1 三人多數(shù)表決器電路設(shè)計舉例假設(shè)題目要求設(shè)計一個三人表決器電路[1]，當(dāng)表決某個提案時，多數(shù)人同意，則提案通過，少數(shù)人同意時，提案被否決。由組合
教育界·下旬 2014年5期2014-06-30
- 基于遺傳算法的可逆邏輯綜基合于方法及其CUDA并行化實現(xiàn)
門的組態(tài)編碼和真值表，通過可逆邏輯門的“定軌級聯(lián)”構(gòu)成染色體暨可逆邏輯電路，在迭代中按照預(yù)期的邏輯功能和優(yōu)化目標(biāo)等部分并行地評估適應(yīng)度，再利用選擇、交叉、變異等部分并行化遺傳操作，逐步找到功能正確、性能優(yōu)化的可逆邏輯電路.實驗結(jié)果證明了該方法的可行性、有效性，及其與同類傳統(tǒng)方法相比在運算速度、求解能力等方面的顯著改進.可逆邏輯電路；綜合；可逆邏輯門；遺傳算法；GPU并行計算；CUDA可逆邏輯是研究和實現(xiàn)量子計算（機）、超低功耗集成電路的基礎(chǔ)和關(guān)鍵.可逆邏輯
天津工業(yè)大學(xué)學(xué)報 2014年3期2014-03-15
- 編碼器設(shè)計與應(yīng)用的優(yōu)化
為例。1)編碼真值表一個2位編碼器，可以對22＝4個輸入變量I3、I2、I1和I0進行編碼。輸出函數(shù)為2位2進制數(shù)Y1Y0，這個編碼器的真值表如表1所示。表1 2位編碼器編碼器真值表Tab1.The truth table of 2 bit encoder2)輸出函數(shù)Y1的卡諾圖根據(jù)2位的二進制編碼器的真值表，可以畫出輸出函數(shù)Y1的卡諾圖，如表2所示，其中“×”表示此處的約束行不存在。表2 輸出函數(shù)Y1的卡諾圖Tab.2 The karnaugh map
電子設(shè)計工程 2014年22期2014-01-21
- 邏輯代數(shù)在中等職業(yè)學(xué)校中教學(xué)初探
據(jù)邏輯狀態(tài)做出真值表方法、邏輯表達式定義、用卡諾圖化簡邏輯表達式的方法、畫出邏輯圖的基本過程。2.案例教學(xué)實例。在舉重比賽中，有A、B、C三位裁判，當(dāng)兩位或兩位以上裁判認為運動員動作合格，裁判這時按各自信號燈，發(fā)出舉重成功的信號。當(dāng)信號燈出現(xiàn)兩盞及兩盞以上明亮?xí)r，舉重成功，記錄成績，請設(shè)計該信號燈的邏輯圖。解題講解該問題需要:(1)列出邏輯狀態(tài)表并寫出邏輯關(guān)系式;(2)化簡邏輯關(guān)系式，并畫出邏輯圖。具體過程:(1)每位裁判控制一個開關(guān)，如果他贊同，就按開關(guān)
中國校外教育 2014年4期2014-01-17
- 離散數(shù)學(xué)中命題公式與集合公式的教學(xué)與實踐
通過命題公式的真值表可以引導(dǎo)學(xué)生發(fā)現(xiàn)命題公式的本質(zhì)，而冗長且繁瑣的命題公式真值表的計算過程又阻礙了學(xué)生快速理解命題公式所具有的特性。為此，筆者設(shè)計了一個任意輸入的命題公式的快速求真值表系統(tǒng)，以幫助學(xué)生繞開繁瑣的命題公式真值表的計算，直接從自動求出的真值表上發(fā)現(xiàn)命題公式所具有的性質(zhì)。命題公式的演算中證明命題公式之間的永真蘊含關(guān)系是最為核心的內(nèi)容。筆者引導(dǎo)學(xué)生從不同角度分析存在永真蘊含關(guān)系的命題公式所具有的特性，從而讓學(xué)生總結(jié)出命題公式永真蘊含的多種證明方法。
合肥師范學(xué)院學(xué)報 2013年3期2013-12-04
- 負復(fù)合命題等值通解
性質(zhì)，又涉及到真值表的設(shè)置、演算方法，還涉及負命題等問題；同時還面臨著如何把這些抽象的邏輯知識講得深入淺出的教學(xué)方法問題。要使學(xué)生學(xué)好這部分內(nèi)容，筆者認為：學(xué)生要扎實掌握各個復(fù)合命題的邏輯形式、性質(zhì)，真值表的設(shè)置和演算方法及負命題知識，這是學(xué)好“負復(fù)合命題等值”的前提，教師的科學(xué)地講解是學(xué)好“負復(fù)合命題等值”關(guān)鍵。一、掌握并能解讀復(fù)合命題邏輯真值表是理解負復(fù)合命題等值的前提條件復(fù)合命題邏輯真值表，是各復(fù)合命題邏輯性質(zhì)的反映，也是真值表的設(shè)置和演算方法的具體
知識力量·教育理論與教學(xué)研究 2013年15期2013-11-11
- 離散數(shù)學(xué)命題符號化的三種方法
題的三種方法：真值表法、類比法和平衡主謂法.離散數(shù)學(xué)；數(shù)理邏輯；命題符號化離散數(shù)學(xué)是計算機科學(xué)中重要的基礎(chǔ)理論之一，同時也是培養(yǎng)學(xué)生縝密的思維、提高學(xué)生素質(zhì)的核心課程.在離散數(shù)學(xué)的教學(xué)中，解題方法起著特殊而重要的作用.通過解題方法的訓(xùn)練，理論聯(lián)系實際，可以培養(yǎng)學(xué)生綜合分析問題的能力.根據(jù)多年的教學(xué)發(fā)現(xiàn)，對具體題目的簡單批改和糾正效果并不明顯，因為這樣做只是讓學(xué)生“知其然”，未能從本質(zhì)上認識錯誤，在遇到變化過的題目時學(xué)生還會困惑.只有從本質(zhì)上剖析錯誤原因，找
蘇州市職業(yè)大學(xué)學(xué)報 2013年3期2013-09-04
- 組合邏輯電路的設(shè)計
析設(shè)計要求，列真值表根據(jù)題意確定輸入變量和輸出函數(shù)及相互之間的關(guān)系，然后將輸入變量以自然二進制數(shù)順序的各種取值組合排列，列出真值表。(2)根據(jù)真值表，寫出邏輯函數(shù)表達式并化簡將真值表中輸出為1 所對應(yīng)的各個最小項進行邏輯加后，便得到輸出邏輯函數(shù)表達式。對輸出邏輯函數(shù)表達式進行化簡，一般采用卡諾圖法或代數(shù)法對邏輯函數(shù)進行化簡。(3)根據(jù)最簡的邏輯函數(shù)表達式畫出電路圖可根據(jù)最簡與—或輸出邏輯函數(shù)表達式畫邏輯圖，也可根據(jù)要求將輸出函數(shù)變換為與—非表達式、或—非表
黃岡師范學(xué)院學(xué)報 2013年3期2013-02-21
- 三人表決器的教學(xué)設(shè)計
的三表示方式：真值表、表達式、邏輯電路圖及三種表示方式之間相互轉(zhuǎn)換為基礎(chǔ)進行學(xué)習(xí)，課前花10到20分鐘的時間復(fù)習(xí)邏輯表達式、邏輯電路圖、真值表之間的轉(zhuǎn)換，出一到兩個練習(xí)，通過練習(xí)進行復(fù)習(xí)，既可以達到復(fù)習(xí)的目的，又能了解學(xué)生上次課的掌握情況，還能調(diào)動學(xué)生，使學(xué)生的思維進入課堂。通過復(fù)習(xí)，學(xué)生已經(jīng)掌握了邏輯關(guān)系表示方法之間的轉(zhuǎn)換，然后應(yīng)用這些理論來解決實際問題，引出三人表決器。三人表決器，是投票系統(tǒng)中的客戶端，是一種代表投票表決裝置。表決時，與會的有關(guān)人員“贊
中國科技信息 2012年11期2012-10-26
- 基于可編程計數(shù)器74LS161的循環(huán)碼計數(shù)器設(shè)計
4LS161的真值表如表1所示[1-2]。其中，EP、ET為計數(shù)控制端，為預(yù)置數(shù)控 制 端 ，D3、D2、D1、D0為 預(yù) 置 數(shù) 輸入端 ，為 異 步 置 零 控 制端，CP 為計數(shù)脈沖輸入端，Q3、Q2、Q1、Q0為狀態(tài)輸出端，C 為進位輸出端，“×”表示任意值。表1 74LS161可編程度數(shù)器的真值表Tab.1 Truth table of 74LS161 programmable counter圖1 4位二進制加法計數(shù)器74LS161的狀態(tài)圖Fig
電子設(shè)計工程 2012年3期2012-07-13
- 對觸發(fā)器邏輯功能轉(zhuǎn)換的分析
電路圖2 運用真值表進行觸發(fā)器之間的相互轉(zhuǎn)換觸發(fā)器的邏輯功能描述的是對一定的輸入取值組合后，使輸出狀態(tài)由初態(tài)Q轉(zhuǎn)換為次態(tài)Q*的關(guān)系;而由初態(tài)Q→次態(tài)Q*只有四種情況:0→0、0→1、1→0、1→1。根據(jù)兩種觸發(fā)器的特性方程，將它們由初態(tài)Q→次態(tài)Q*的轉(zhuǎn)換過程、各自對應(yīng)的輸入值組合起來，從而得到兩種觸發(fā)器的驅(qū)動真值表。［5］以D觸發(fā)器→T觸發(fā)器為例，根據(jù)兩觸發(fā)器的特性方程得出驅(qū)動真值表如表1所示。表1 D→T觸發(fā)器驅(qū)動真值表根據(jù)轉(zhuǎn)換原理可知，由門電路構(gòu)成的組
長春大學(xué)學(xué)報 2012年6期2012-02-26
- 寫真法、寫假法探析
法和寫假法是在真值表方法的基礎(chǔ)上構(gòu)造而成的一種確定真值表所對應(yīng)的真值形式的方法。借助真值表方法對寫真法和寫假法的構(gòu)造過程的合理性、有效性及特點予以探析，進而把寫真法、寫假法整合為一種新的方法——寫真寫假法。寫真法;寫假法;等值在現(xiàn)代邏輯中，真值表方法是判定真值形式的真值類型的一種最基本的方法，它是用真值表作為命題邏輯中確定真值形式的真值情況的一種有效的判定方法。依據(jù)這種方法，對于任一真值形式，可以根據(jù)若干特定步驟寫出它的真值表，從而判定這一真值形式的類型;
華北水利水電大學(xué)學(xué)報(社會科學(xué)版) 2011年4期2011-11-22
- 巧用卡諾圖設(shè)計多輸出組合邏輯電路
現(xiàn)的邏輯功能列真值表；第三，根據(jù)真值表求邏輯表達式，并根據(jù)所選用的門電路類型進行化簡；第四，根據(jù)邏輯表達式畫邏輯電路圖。由于設(shè)計組合邏輯電路，通常以電路簡單，所用的器件最少為目標(biāo)，所以第三步化簡就顯得至關(guān)重要。而邏輯函數(shù)的化簡又有公式法和卡諾圖法兩種。公式化簡法比較繁瑣，不僅需要記住大量的公式，而且化簡的結(jié)果是不是最簡的還無法判斷?？ㄖZ圖化簡法比較簡單，容易掌握，而且只要填得正確，圈得正確，化簡的結(jié)果就一定是最簡的與或式。更有甚者，利用卡諾圖之間的相互關(guān)系
電子世界 2011年9期2011-03-23
- 布爾函數(shù)的代數(shù)攻擊
了一種已知部分真值表還原整個布爾函數(shù)的方法。對于n元d次布爾函數(shù), 該方法的空間復(fù)雜度和數(shù)據(jù)復(fù)雜度均為O(N)，計算復(fù)雜度為O(N3)，其中。由復(fù)雜度可知，所求密碼函數(shù)的代數(shù)次數(shù)越低，該方法的有效性越高。攻擊方法表明密碼設(shè)計中應(yīng)該謹慎使用代數(shù)次數(shù)較低的布爾函數(shù)。代數(shù)方法; 布爾函數(shù); 密碼分析; 密碼學(xué)作為許多流密碼的核心部件，布爾函數(shù)的設(shè)計和分析一直是密碼學(xué)中極為活躍的研究領(lǐng)域。在密碼算法設(shè)計中，設(shè)計者通過構(gòu)造滿足各種密碼學(xué)指標(biāo)的布爾函數(shù)以增加密碼的強度
電子科技大學(xué)學(xué)報 2010年6期2010-02-08