type
status
slug
summary
tags
category
password
date
icon

Canonical Forms

Difficulties in Manipulating Boolean Functions

For Boolean function have function proof Problem:
  • a Boolean function has multiple expressions.
For expression simplification
  • Problem 1: too many identities and theorems of Boolean algebra to apply
  • Problem 2: requires skills for simplification
举个例子:
notion image
Canonical Forms for Comparison of Equality
notion image
notion image
  1. 中每一项使用或来连接,3.中每一项使用and来进行连接
minterm
  • Minterms are AND terms with every variable present in either trueor complemented form 
    • notion image
maxterm
  • 每一项使用or来连接
两个规则运用于minterm和maxterm:
  • 包含所有的元素
  • 各个字母元素出现的位置保持一致
采用这种表现的方式
notion image
最大项使用最小项取补号取得,maxterm是和的形式,minterm是乘积的形式
notion image
通过增添项数,使得满足minterm和maxterm的标准形态:
  • 每个元素均会出现一次
  • 写成maxterm和minterm的标准形式
  • 最后化简成所需要的形式即可
已经知道SOM之后,如果想要得到POM
  • 使用德摩根定律:
    • 找到`F,然后使用德摩根定律进行求逆的操作就可以
采用的方法如下
notion image
  • 两种格式的转换:
notion image
已经找到了最小项→根据最小项找出最大项:
最大项只需要对`F进行求逆的操作即可,保留剩下的那几项即可
notion image
  • 举个例子:
    • 像下面的算式:
    • 关键是画出真值表,使用德摩根定律
      • notion image
      notion image

Circuit Optimization

  • 线路优化的目标:
    • 减少线路的成本,成本最小化
    • Optimization requires a cost criterion to measure the simplicity of a circuit
    • 成本设计的方式:
      • Literal Cost(L)
      • Gate input Cost(G)
      • Gate input Cost with NOTs(GN)
    • 下面是以一个例子
    • notion image
  • 卡诺图Karnaugh Maps (K-map)
    • Step 1: Identify minterms or maxterms
    • Step 2: Fill the K-map with minterms or maxterms
      • For SOM, put 1's in squares respective to the minterms
      • For POM, put 0's in squares respective to the maxterms
    • Step 3: Form the rectangular groups containing maximum number of terms in power of two
    • Step 4: Obtain the simplified expression for groups
      • For SOM, find the product terms and sum them up
      • For POM, find the sum terms and take product of them

      Four Variable Maps

      notion image

      Example 1: Four Variable Map Simplification

      𝐹(𝑊,𝑋,𝑌,𝑍)=Σ(0,2,4,5,6,7,8,10,13,15)

      notion image
      出现Don’t Cares:
    • 实现更大的矩形
    • notion image
      SOM转换为POM:
      notion image
      主蕴含项和基本主蕴含项:
    • Prime Implicant is a product term obtained by combining the maximum possible number of adjacent squares in the map into a rectangle with the number of squares a power of 2.
    • 出现四个基本主蕴含项,需要包含所有基本主蕴含项
    • An Essential Prime Implicant is a prime implicant that covers one or more minterms that no combination of other prime implicants are able to include.
ChatGPT论文insightChatGPT Insight
Loading...
fufu酱
fufu酱
一个爱折腾的大学生
公告
👋
欢迎 欢迎来到fufu酱的blog! 💞️我是22级浙江大学竺可桢学院计算机科学与技术专业的学生 一个爱折腾的大学生 🌱我会在这个网站上更新我的笔记和工具分享 🌈目前all in MLLM 📫你可以用下面的方式联系到我
🍀
今後ともよろしくお願いします