Please enable JavaScript.

Coggle requires JavaScript to display documents.

基本公式和法则, 布尔代数与逻辑函数化简 - Coggle Diagram

- - - - 存在“单因子”（这里的单因子也可以将多个字母看做整体）
        
        包含该因子的反形式，该项中反因子为多余量可以消去
        
        包含该因子的其他项为多余项，可以直接消去
    - - 存在逻辑相邻项（两个相同变量逻辑项，一项以原变量形式出现，一项以反变量形式出现）
        
        消去以反变量形式出现的变量，合并为一项
- - - - 然后看可不可以用多余项
        
        最后再想“奇技淫巧”
- - - - 所有变量只能以原变量或反变量出现一次
      - 最小项标准式：全由最小项组成的与或式
      - 最小项编号：将最小项原变量作1，反变量作0，得二进制对应十进制既是编号
      - 一项包含所有变量
    - - 任何变量函数式全部最小项之和为1
      - 两个不同最小项之积为0
      - n变量有2^n项最小项
  - - - 偶数，行列相同
      - 奇数，行比列多1
    - - 具体实现：先写0……0,0……1，然后按格雷码对称写
  - - - 与或
        
        画出来的圈中变量相同保留，不同就删除
        
        按2^n(n = 1, 2, ……）画圈
        
        画圈必须包含图中所有1，优先级显示圈尽量大，其次尽量不重复
        
        圈除了常见相邻，还有对称的不相邻和四个角
      - 与非
        
        在与或基础上求两次反
    - - 或与
        
        圈0，其他逻辑和与或形式相同
      - 或非
        
        在或与基础上求两次反
      - 与或非
        
        在或非基础上把内层非再拆
    - - 题型
        
        直接告知无关项，以求和小d形式
        
        告知约束条件，只告知几项和为0，说明求和的几项不能同时为0
      - 无关项如果有利于化简，可以当做1看待，否则可以忽略
    - - 代数法
        
        头部因子可以随意从尾部因子取出，放入
      - 阻塞法
        
        先画“大”圈，必须包含全1项且尽可能大，可以圈空白
        
        画阻塞圈
        
        必须包含全1项
        
        大小控制
        
        如果“大”圈里圈空白项阻塞圈里必须包含
        
        尽可能是公共圈，这样有同类项
        
        阻塞圈里的1在本“大”项中不起作用，要重新圈