variables - 具有 1 个变量的逻辑含义

Question

我的知识库中有以下陈述，但前提是只有 1 个变量（请参阅第 3 行）。我试图为此建立一个真值表，但第三个前提让我感到困惑，因为只有一个条件来决定隐含条件。

p ^ q ^ r => s;
q ^ r => t;
t => u;   <---- confused line.
p;
s;

例如，据我所知：

p | q | p=>q    
--------------    
0 | 0 | 1    
0 | 1 | 1    
1 | 0 | 0    
1 | 1 | 1

但是我该如何在这里为第三条语句构建真值表。只有 1 个变量可以决定“你”。

谢谢 ：）

Answer 1

真值表将涉及t和t=>u; 从那里你会尝试决定u：

t | t=>u | u    
--------------    
0 | 0    | not possible
0 | 1    | 0 or 1
1 | 0    | 0
1 | 1    | 1

如果你想t=>u成为1，那么如果t是1，u就必须是1；如果t是 0，那么u可以是 0 或 1。