document.write( "Question 1170589: Truth tables\r
\n" ); document.write( "\n" ); document.write( "Use a truth table to show that:
\n" ); document.write( " ~(𝑝 β†’ π‘ž) ≑ π‘βˆ§βˆΌπ‘ž
\n" ); document.write( " \n" ); document.write( "
Algebra.Com's Answer #795495 by Edwin McCravy(20056)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "\r\n" );
document.write( "~(π‘β†’π‘ž) ≑ π‘βˆ§βˆΌπ‘ž\r\n" );
document.write( "\r\n" );
document.write( "𝑝|π‘ž|π‘β†’π‘ž|~(π‘β†’π‘ž)|βˆΌπ‘ž|π‘βˆ§βˆΌπ‘ž|~(π‘β†’π‘ž)β‰‘π‘βˆ§βˆΌπ‘ž|\r\n" );
document.write( "T|T| T |F     |F | F   |      T    |\r\n" );
document.write( "T|F| F |T     |T | T   |      T    |   \r\n" );
document.write( "F|T| T |F     |F | F   |      T    |\r\n" );
document.write( "F|F| T |F     |T | F   |      T    |\r\n" );
document.write( "\r\n" );
document.write( "This is true in all 4 cases, so it's called a tautology\".\r\n" );
document.write( "\r\n" );
document.write( "Rules  (You should learn them).\r\n" );
document.write( " \r\n" );
document.write( "~  means to change what follows ~ to F if it's T, and to T if it's F.\r\n" );
document.write( "\r\n" );
document.write( "β†’  means to put T in all cases except when there's a T on the left of β†’ and an F on the right of β†’.\r\n" );
document.write( "\r\n" );
document.write( "≑  means to put a T if the same letter (T or F) is on both sides of ≑.\r\n" );
document.write( "\r\n" );
document.write( "∧  means to put an F unless there are T's on both sides, then you put T.\r\n" );
document.write( "\r\n" );
document.write( "v  means to put a T unless there are F's on both sides, then you put F (There were none of these v in this problem.)\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );