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 个变量可以决定 'u'。

谢谢你:)

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。