Logic algebra and more solution

Logic algebra and more solution - Math 2534 Solutions for...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
Math 2534 Solutions for Logic Homework 2 Fall 2009 1 ) ( )( ) ( ) [ ( )] by distributive law ( )[ ] by inverse law ( )[ ] PQ P Q P Q Q PT P ∧∨ ∧∨ ∧∨ ∧≡  by identity law ( ) ( ) by distributive law T ( ) by inverse law PPQP QP by indentity law 2) ( ) [( ) ( ) ( by distributive law [( ) ( ( ))] by distributive law [( ) ( PQR P QR P Q R P QR QR Q R Q R R QT ∧∧∨∧ ∧∨∧ ∧ ∧ ∧∨ by inverse law [( ) by identity law [( ) ( by distributi Q PQQ RQ ∧ ∨ ve law [( ) ( by inverse law ( by indentity R Q PR Q 3) [( P Q) ( P Q)] (P Q) [( P (Q Q)] (P Q) by distributive law [( P ] (P Q) by inverse law [( P] (P Q) T ∧∨ ∧ ∨∧ ≡ ∧∨∧ ≡   by identity law (P Q) double negative absor P P ption law 4) a) Either it is snowing or Ed goes camping and mountain lions are not near. b) () ( ) p qr F FT FT F ∧⊕≡∧ ⊕ ≡∧≡ (The truth value of this statement is false) 5) The following symbols represent the statements as follows: P: Laura will hike, q: Laura will rock climb, r: Laura will mountain bike So pqr ∨∨ and the negation of this statement is
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Background image of page 2
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 2

Logic algebra and more solution - Math 2534 Solutions for...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online