软件导刊
軟件導刊
연건도간
SOFT WARE GUIDE
2011年
7期
3-5
,共3页
逻辑函数式%逐次代入%化简%方法
邏輯函數式%逐次代入%化簡%方法
라집함수식%축차대입%화간%방법
对于任何一个逻辑函数式,先任选某个变量Ai,分别令其为1与0,并计算出相应结果(分别记为f1和f2),然后合并得出结果Af1+ —Aif2.如果这个结果还不是最简形式,再选取另外一个逻辑变量Aj,重复上述过程,通过这种逻辑变量的遂次代入可以求出最简结果.若其中某个因子不论为何值(0或1),均可得到相等的其余各项的和,则该因子及其非项都是多余的.在这个结论及其证明的基础上,得出两个推论,可用于对任一逻辑函数式进行化简.这种方法既有简单统一的固定步骤,又不需要掌握更多的常用公式,集中了公式法、卡诺图法的优点.
對于任何一箇邏輯函數式,先任選某箇變量Ai,分彆令其為1與0,併計算齣相應結果(分彆記為f1和f2),然後閤併得齣結果Af1+ —Aif2.如果這箇結果還不是最簡形式,再選取另外一箇邏輯變量Aj,重複上述過程,通過這種邏輯變量的遂次代入可以求齣最簡結果.若其中某箇因子不論為何值(0或1),均可得到相等的其餘各項的和,則該因子及其非項都是多餘的.在這箇結論及其證明的基礎上,得齣兩箇推論,可用于對任一邏輯函數式進行化簡.這種方法既有簡單統一的固定步驟,又不需要掌握更多的常用公式,集中瞭公式法、卡諾圖法的優點.
대우임하일개라집함수식,선임선모개변량Ai,분별령기위1여0,병계산출상응결과(분별기위f1화f2),연후합병득출결과Af1+ —Aif2.여과저개결과환불시최간형식,재선취령외일개라집변량Aj,중복상술과정,통과저충라집변량적수차대입가이구출최간결과.약기중모개인자불론위하치(0혹1),균가득도상등적기여각항적화,칙해인자급기비항도시다여적.재저개결론급기증명적기출상,득출량개추론,가용우대임일라집함수식진행화간.저충방법기유간단통일적고정보취,우불수요장악경다적상용공식,집중료공식법、잡낙도법적우점.
