Логическая импликация с 1 переменной

Question

В моей базе знаний есть следующие утверждения, но есть предпосылка только с одной переменной (см. 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-го утверждения здесь? Есть только 1 переменная, чтобы решить "и".

Спасибо:)

Answer 1

The truth table would involve t а также t=>u; from there you would try to decide u:

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

Если ты хочешь t=>u to be 1, then if t это 1, u должен быть 1; и если t is 0, then u can be either 0 or 1.