I have the following statements in my knowledge base, but there is a premise with only 1 variable (refer to 3rd line). I'm attempting to build a truth table for this, but the 3rd premise gets me confused as there is only 1 condition to decide the implied condition.
p ^ q ^ r => s;
q ^ r => t;
t => u; <---- confused line.
p;
s;
For example, according to my knowledge:
p | q | p=>q
--------------
0 | 0 | 1
0 | 1 | 1
1 | 0 | 0
1 | 1 | 1
But how do I go about constructing the truth table for 3rd statement here. There's only 1 variable to decide 'u'.
Thank you :)