SOLUTION: Hello my questions is with this equation: ((x->y)^(y->z))->(x->z) I'm suppose to prove that it is a tautology through a truth table. I was just wondering when you throw that thir

Algebra ->  Conjunction -> SOLUTION: Hello my questions is with this equation: ((x->y)^(y->z))->(x->z) I'm suppose to prove that it is a tautology through a truth table. I was just wondering when you throw that thir      Log On


   



Question 565030: Hello my questions is with this equation: ((x->y)^(y->z))->(x->z)
I'm suppose to prove that it is a tautology through a truth table. I was just wondering when you throw that third letter in there (z) how does the truth table start. Is it that there are now 6 rows instead of a normal 4 with two variables. like x would start with three T's and three F's? Thanks in advance

Answer by stanbon(75887) About Me  (Show Source):
You can put this solution on YOUR website!
Hello my questions is with this equation: ((x->y)^(y->z))->(x->z)
I'm suppose to prove that it is a tautology through a truth table. I was just wondering when you throw that third letter in there (z) how does the truth table start. Is it that there are now 6 rows instead of a normal 4 with two variables. like x would start with three T's and three F's? Thanks in advance
-------
Use the following pattern:
x.....y....z
t.....t....t
t.....t....f
t.....f....t
t.....f....f
f.....t....t
f.....t....f
f.....f....t
f.....f....f
========================
Cheers,
Stan H.