真相表

Содержание и основные понятия

返回目录
第15章 第15.2页
真相表
建筑算法,图理学,矛盾, 完整的公式计算器
真相表是
太过分了
对于 n 变量, 将会有 2n 线。随着变量数量的增长, 表格正在快速增长 -- 这就是逻辑问题的复杂性 。
全球环境基金,全环基金
PIF 太平洋岛屿论坛
OGE 3号
第2 EEG 号
01
建筑物算法
计算 n
是公式中不同变量的数量。
行数=2n
例如,3个变量为8行。
写入栏
每个变量(全部2n组合)
添加列
每一子形式(按行动优先次序排列)。
填充
业务规则的规则(, , B, 、 , )
示例:为(A~B)建立表格
A
B
A∨B
¬A
(A∨B)→¬A
0
0
0
1
1
0
1
1
1
1
1
0
1
0
0
1
1
1
0
0
表格大小
对于五个变量,表格中已经包含32行。10至1024行。2 000至100万条。对于复杂的公式,使用了特殊的方法(Carno地图,Quinna)――第27章。
02
历史学、矛盾、可行性
保存学(确定为真实)
F = 1 和
全部
变量集。
例如:A.A.、A. A.、B. B.
趋同(被确定为假)
F = 0 和
全部
我需要一些药包
例如:A.A.(A.B.)
通过表演(不是统计学,没有冲突)
F=1,至少一套;F=0,至少一组。
例如:AB、AB、B。
03
数量和捕食者
数量 (, , ) 是“ 为所有人” 和“ 存在” 的逻辑 。
序言前言
序言前言
是含有变量的表达式,该变量在设置特定值时成为语句(真实或虚假)。
事先行动的实例:
P(x): x > 5
- x=7 真理, x=3 虚假
Q(n): n делится на 2
- n=4 true, n=7 freed
R(a,b): a + b = 10
-a=3,b=7真实
世界度量
∀x P(x)
将 p( x) 改为 “ 全部 x 都执行 P( x ) 。 P( X) 属于Istinen
每个
定义领域的要素。
示例示例示例
区域:自然数。 & x (x > 0) -
没错
(均为自然正数)。
∀x (x² > x) —
这是假的
(x=1:12=1,严格来说不超过1)。
存在量化
∃x P(x)
改为“有一个有P(x)存在的 x”。
只有一个
元素满足 P(x) 。
示例示例示例
区域: 整数。 x (x2=16) -
没错
(x=4或X=4)
∃x (x² = −1) —
这是假的
(实际数字没有根)。
拒绝数量数量
¬(∀x P(x)) ≡ ∃x ¬P(x)
¬(∃x P(x)) ≡ ∀x ¬P(x)
否认是“对所有人”不是真实的。
示例示例示例
"不是所有学生都通过了考试" "有一个学生失败了"
第15号E GE
量度挑战是第15号《EGE》的一个典型主题:拒绝量度演讲的能力是关键技能;记住:否认 和反之亦然。
🔍
量化屏幕检查器
输入边缘和区域 - 接受检查 , 并进行详细审查
面积(以小数点位数计)
联署材料的条件P(x)
Нажми «Проверить» или выбери пресет.
05
真相/最后马拉松
30项快速评估指控
⚡
这到底是不是一句俗话?
0/0
06
JNDF和SNPF
标准格式:完整、自行酌定和完整、非谈判的正常形式
STAF(标准程序正常表格)
NDLF 中
- 这是变数条件(和)的脱节(或)
初级基本情况
(所有变量或B或否)。
建筑在表格的行数上,
F = 1
.
查找 F = 1 的所有线条
对于每行,我们写一个协议: 如果变量等于1, 我们接受它现在的样子, 如果等于0, 拒绝。
将所有情况联系起来
SNCP(标准监管正常形式)
SNNCF 国家妇女委员会
- 这是变量的分解( O) 状态( I) 。
建筑在表格的行数上,
F = 0
.
查找 F = 0 的所有线条
每一行,我们写出一个偏差:如果变量为0,按原样接受,如果是1,则拒绝
连接所有痢疾通过
实例1:A B(XOR)
A
B
A⊕B
0
0
0
0
1
1
1
0
1
1
1
0
NDLF 中
(rows F=1): (BA\B)? (A~B)
SNNCF 国家妇女委员会
(字符串F=0): (A~B)? (BA\B)
实例2:A.B.(影响)
A
B
A→B
0
0
1
0
1
1
1
0
0
1
1
1
NDLF 中
(F=1): (¬A∧¬B) ∨ (¬A∧B) ∨ (A∧B) =
¬A ∨ B
SNNCF 国家妇女委员会
(F=0): (A∨¬B)
请注意,通过BA和BAB可以简化UNUFF,BB按BA、BAB和A.B分组。
你为什么要这么做?
核储备基金和NSFS用于:证明公式的等值(两种公式如果具有相同的国家储备基金是平等的)、分类(核储备基金的空的航空、国防储备基金空的矛盾)、表格之间的转移(SNPF x 国家储备方案通过德摩根法律)。
07
卡诺卡卡卡
最大限度地减少布尔函数的视觉方法
卡诺的地图是什么?
卡诺映射图
这是一张单元格所在的表格, 其位置使邻居在一个变量中不同。 这样可以对单元进行视觉“ 分组 ” , 并获得最小公式 。
2个变量(A、B)是 2x2 的地图。
最小最小算法
用函数值( 0 或 1) 填入地图
将相关单位组成2个矩形(1、2、4、8)
集团不应重叠,但可能重叠
每一组给出一个最小公式中设定的值
群体内部变化的变化消失
示例:F=A~(BA)=A\B
B=0
B=1
A=0
0
1
A=1
1
1
第1组:(A=1, B=0)+(A= 1, B =1)
A
(B变动)
第2组:(A=0,B=1)+(A=1,B等于1)
B
(A 变动)
结果:
F = A ∨ B
🗺️
Carno 交互式地图
手工输入公式或填充单元格 - 接收最小化
输入以下字段中两个变量(A、B)的公式,按“构建”键
或手工填入单元格 - 切换 0/1 按卡片单元格
按随机公式的“ 示例” 按“ 例” 键
地图将显示单位组合和最小公式
公式(2个变量:A、B)
B=0
B=1
A=0
0
0
A=1
0
0
按下框以切换 0/1