document.write( "Question 565030: Hello my questions is with this equation: ((x->y)^(y->z))->(x->z)
\n" ); document.write( "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
\n" ); document.write( "
\n" ); document.write( "

Algebra.Com's Answer #365570 by stanbon(75887)\"\" \"About 
You can put this solution on YOUR website!
Hello my questions is with this equation: ((x->y)^(y->z))->(x->z)
\n" ); document.write( "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
\n" ); document.write( "-------
\n" ); document.write( "Use the following pattern:
\n" ); document.write( "x.....y....z
\n" ); document.write( "t.....t....t
\n" ); document.write( "t.....t....f
\n" ); document.write( "t.....f....t
\n" ); document.write( "t.....f....f
\n" ); document.write( "f.....t....t
\n" ); document.write( "f.....t....f
\n" ); document.write( "f.....f....t
\n" ); document.write( "f.....f....f
\n" ); document.write( "========================
\n" ); document.write( "Cheers,
\n" ); document.write( "Stan H.
\n" ); document.write( "
\n" );