tags
type
status
date
slug
summary
category
password
icon
#1 Boolean Algebra
- 卡诺图对大规模运算不适用，我们需要更加代数的方法
Shannon Expansion
模仿Taylor Series，用简单的函数表示复杂的函数
Def positive cofactor
Def negative cofactor
以上可以被扩展到多个变量，比如
cofactors的性质
- , op=or/and/xor/..【very useful in constructing ROBDD!】
Boolean difference
性质：
- （对and和or，形式不同！比较复杂）
Example:
在全加器中，
⇒当a与b不同时，将必定受影响；当a与b相同时，必定不受变化的影响
Quantifications
Def universal quantification全称量词
Def existential quantification存在量词
- 作者:Tianyao Xiao
- 链接:https://www.xty27.top/article/eda
- 声明:本文采用 CC BY-NC-SA 4.0 许可协议，转载请注明出处。
相关文章
