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

但是我如何在这里为第3个陈述构建真值表。只有一个变量来决定'你'。

谢谢：）

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。