\r \n" );
document.write( "\n" );
document.write( "Recall for A-->B\r \n" );
document.write( "\n" );
document.write( " A B A-->B (logically equivalent to ~A v B) \n" );
document.write( "--- --- ------- \n" );
document.write( " T T T \n" );
document.write( " T F F \n" );
document.write( " F T T \n" );
document.write( " F F T\r \n" );
document.write( " \n" );
document.write( "\n" );
document.write( " p q ~q (p v ~q) ~p (p v ~q) --> ~p \n" );
document.write( "--- --- --- -------- --- --------------- \n" );
document.write( " T T F T F F \n" );
document.write( " T F T T F F \n" );
document.write( " F T F F T T \n" );
document.write( " F F T T T T\r \n" );
document.write( " \n" );
document.write( "\n" );
document.write( "