逻辑图的变换•11

符号学转换

主题:逻辑图的变换(8)(9)(10)

继续我们在第八集中的表格扫描,接下来的两个轨道包含布尔函数的逻辑图f{2},f{11},f1{4},f2{13},按照这个顺序。乍一看,这两个轨道有着令人惊讶的复杂结构和相互之间的关系——让我们将这一部分隔离开来仔细观察。

\text{解释对偶}\stackrel{_\bullet}{}\text{减法和蕴涵}

解释二重性•减法和含义

  • 布尔函数f{2}f{4}被称为减法函数.
  • 布尔函数f{11}f{13}被称为蕴涵函数.
  • 的逻辑图f{2}f{11}彼此都是双重的。
  • 的逻辑图f{4}f_{13}彼此都是双重的。

每个函数的减法和蕴涵函数的值(x,y)\in\mathbb{B}\times\mathbb{B}其逻辑图的文本表达式如下表所示。

减法和含义

资源

复写的副本:FB|逻辑图形式法则•马第个斯托登•Academia.edu学院
复写的副本:概念图控制论结构建模系统科学

此条目发布于安切克,阿尼马塔,布尔代数,布尔函数,C.S.皮尔斯,仙人掌图形,约束满足问题,演绎,图解推理,二元性,等式推理,图论,解释二重性,形式法则,逻辑,逻辑图,数学,最小否定算子,模型理论,彩绘仙人掌,证明理论,命题微积分,命题方程推理系统,斯宾塞·布朗,可视化和标记,,,,,,,,,,,,,,,,,,,,,,,,.将永久链接.

4对的回应逻辑图的变换•11

  1. Pingback:动画逻辑图综述•7 |探究探究

  2. Pingback:逻辑图的转换•12 |探究到探究

  3. Pingback:逻辑图的转换•13 |探究到探究

  4. Pingback:逻辑图的转换•14 |探究到探究

留下评论

该网站使用Akismet来减少垃圾邮件。了解如何处理您的评论数据.