作者saltlake (SaltLake)
看板Math
标题[其他] 确定逻辑关系之一
时间Mon May 4 00:37:02 2020
请问要确定两个逻辑变数之间的逻辑关系，
一定要完整检查那 4 个变化之後才能确定，
还是能用较少数目的检查确定?
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 114.44.199.74 (台湾)
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/Math/M.1588523824.A.951.html
1F：→ alan23273850: problem unclear, uh? 05/04 06:38
真值表表列方式一般是列出两个变数: P 和 Q ，再列出要检查的逻辑关系
P 的真值可为真假，Q 若是，是共有 4 种组合。
问题再是否必要把这 4 种组合都检查过，才能确定是哪个逻辑关系，例如
^, V, ->, <->
※ 编辑: saltlake (114.44.199.74 台湾), 05/04/2020 07:57:21
2F：推 chemmachine : 用背的。真值表每格都一样的话代表叙述等价 05/04 08:21
3F：→ chemmachine : 或和且简单不用背，大部分背->, <->推理就知 05/04 08:22
4F：推 alan23273850: 你都已经列出四个 gate 了，有可能只检查三种情况 05/04 08:22
5F：→ alan23273850: 就唯一决定吗？ 05/04 08:22
一条实数系的抛物线上有无限多点，但是我们只需要该曲线尚三个点的座标就能
决定描述该曲线的方程式。
6F：→ alan23273850: 应该先问原 po 本题目的为何 05/04 08:23
7F：推 chemmachine : 每格都要检查 05/04 08:24
8F：推 chemmachine : 真值表每格都一样代表叙述等价，至少一格不一样就是 05/04 08:29
9F：→ chemmachine : 叙述不一样，是古希腊最伟大的成就之一。它们有很 05/04 08:30
10F：→ chemmachine : 长的论证来研究真值表。 05/04 08:31
11F：推 alan23273850: 简单来说，有几种 gate 存在，就至少要检查几种情况 05/04 09:47
12F：→ alan23273850: 这只要靠简单的推断就可以得知！ 05/04 09:47
有否「逻辑函数」让我们无庸检查所有的可能性即可确定两逻辑变数间的逻辑关系
※ 编辑: saltlake (114.44.199.74 台湾), 05/04/2020 21:35:34
13F：推 alan23273850: 你举的二次曲线是因为它有先天的形状限制，那逻辑函 05/04 21:46
14F：→ alan23273850: 数的话，如 chem 板友所说，要完全一样才是一样，只 05/04 21:47
15F：→ alan23273850: 要有其中一列不一样，就是不同函数，其实你就把逻辑 05/04 21:48
16F：→ alan23273850: 闸想成是函数名称的概念就好 05/04 21:48
17F：推 LPH66 : Q1=P, Q2=~P, Q3=P^~P, Q4=Pv~P 05/04 21:56
18F：→ LPH66 : 你得要把真值表两格都看过才能判断是上列四个的哪个 05/04 21:56
19F：→ LPH66 : 多个变数相同, 例如两变数我可以写出所有 16 种组合 05/04 21:57
20F：→ LPH66 : 的逻辑式子, 你得要把真值表的四格都看过才能判断 05/04 21:58