逻辑图的变换•12

发布时间： 2024年5月16日 通过 乔恩·奥布里

符号学转换

主题：逻辑图的变换(8)•(9)•(10)•(11)
重新：作为符号关系的解释对偶性•轨道顺序

从我们的钱包里拿出一个旧的轨道时间表，让我们回顾一下迄今为止我们已经讨论过的逻辑图类。

自对偶逻辑图

四个轨道自对偶逻辑图，x、 y，\texttt{（}x\texttt}）}，\texttt{（{y\texttt）}，在第九集中进行了讨论。

自对偶逻辑图

逻辑图x、 y，\texttt{（}x\texttt}）}，\texttt{（{y\texttt）}表示布尔函数f{12}，f{10}，f2{3}，f2{5}，按照这个顺序。每个函数的值（f）在每个点（x，y）在里面\mathbb{B}\times\mathbb}如上表所示。

常数和安培检查

逻辑图的两个轨道称为常数和安非他明在第10集中进行了讨论。

常数和安培检查

常量逻辑图表示常量函数

f_{0}:\mathbb{B}\times\mathbb{B}\到0\quad\text{和}\quad f_{15}:\mathbb{B}\times \mathbb2{B}\到1。

  • 低于\数学{Ex}文本形式为“”的逻辑图表示函数f_{15}
    以及文本形式为``\文本{（}~\texttt{）}“表示功能f_{0}。
  • 低于\数学{En}文本形式为“”的逻辑图表示函数f_｛0｝
    以及文本形式为``\文本{（}~\texttt{）}“表示功能f{15}。

安检逻辑图表示安检函数

f{1}（x，y）=\textsc{nnor}（x，y）\quad\text{and}\quad f{7}。

  • 低于\数学{Ex}逻辑图\文本{（}xy\texttt{）}表示功能f{7}（x，y）=\textsc{nand}（x，y）
    和逻辑图\文本{（}x\texttt{）（}y\texttt}）}表示功能f{1}（x，y）=\textsc{nnor}（x，y）。
  • 低于\数学{En}逻辑图\文本{（}xy\texttt{）}表示功能f{1}（x，y）=\textsc{nnor}（x，y）
    和逻辑图\文本{（}x\texttt{）（}y\texttt}）}表示功能f{7}（x，y）=\textsc{nand}（x，y）。

减法和含义

逻辑图名为减法和启示在第11集中进行了讨论。

减法和含义

减法逻辑图表示减法函数

f{2}（x，y）=y\lnotx\quad\text{和}\quadf_{4}（x，y）=x\lnoty。

蕴涵逻辑图表示蕴涵函数

f_{11}（x，y）=x\右箭头y\quad\text{和}\quad f_{13}（x，y）=y\右箭头x。

在\mathrm{En}\leftrightarrow\mathrm}Ex}对偶减法的逻辑图f_｛2｝及其含义f{11}当减法的逻辑图落在一个轨道上时f{4}及其含义f{13}落入另一个轨道，使这四个功能的这两个分区正交的或横向的彼此之间。

资源

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

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

3对的回应逻辑图的变换•12

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

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

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

留下评论

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