... 逻辑函数的基本定理（Basic Theorems of Logic Algebra） 代入定理（Substitution Theorems） 反演定理（Complement Theorems） ...
基于24个网页-相关网页
代入定理
Substitution theorem
以上为机器翻译结果，长、整句建议使用 人工翻译 。
在任何一个包含变量A的逻辑等式中，若以另外一个逻辑式代入式中所有A的位置，则等式仍然成立。这就是所谓代入定理。
详细内容
应用推荐
模块上移
模块下移
不移动