document.write( "Question 1104540: 1. N ⊃ (F • A)
\n" ); document.write( "2. B ⊃ (R • F) / (N ∨ B) ⊃ (A ∨ R) \n" ); document.write( "
Algebra.Com's Answer #720557 by Edwin McCravy(20055)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1.	N ⊃ (F • A)	\r\n" );
document.write( "2.	B ⊃ (R • F)	/ (N ∨ B) ⊃ (A ∨ R)\r\n" );
document.write( "\r\n" );
document.write( "                  | 3.  N ∨ B                      ACP\r\n" );
document.write( "                  | 4.  (F • A) ∨ (R • F)   1,2,3, constructive dilemma CD\r\n" );
document.write( "                  | 5.  (F • A) ∨ (F • R)       4, commutation\r\n" );
document.write( "                  | 6.  F • (A ∨ R)             5, distribution\r\n" );
document.write( "                  | 7.  (A ∨ R) • F             6, commutation\r\n" );
document.write( "                  | 8.  A ∨ R                   7, simplification\r\n" );
document.write( "9.    (N ∨ B) ⊃ (A ∨ R)                    3-8    CP      \r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );