LogicalEquiv

# LogicalEquiv - q r ) ( p r ) ( q r ) ( p q ) r ( p q ) ( p...

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

Logical Equivalences: 1. Table 6 on Page 24 Equivalence Name p T p Identity laws * p F p p T T Domination laws * p F F p p p Idempotent laws * p p p ¬ ( ¬ p ) p Double negation law * p q q p Commutative laws * p q q p ( p q ) r p ( q r ) Associative laws * ( p q ) r p ( q r ) p ( q r ) ( p q ) ( p r ) Distributive laws * p ( q r ) ( p q ) ( p r ) ¬ ( p q ) ( ¬ p ) ( ¬ q ) De Morgan’s laws * ¬ ( p q ) ( ¬ p ) ( ¬ q ) p ( p q ) p Absorption laws * p ( p q ) p p ( ¬ p ) T Negation laws * p ( ¬ p ) F 2. Table 7 on Page 25 Equivalences involving conditional statements p q ( ¬ p ) q * p q ( ¬ q ) ( ¬ p ) * p q ( ¬ p ) q p q ≡ ¬ [ p ( ¬ q )] ¬ ( p q ) p ( ¬ q ) ( p q ) ( p r ) p (

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

View Full Document
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: q r ) ( p r ) ( q r ) ( p q ) r ( p q ) ( p r ) p ( q r ) ( p r ) ( q r ) ( p q ) r 3. Table 8 on Page 25 Equivalences involving biconditional statements p q ( p q ) ( q p ) * p q ( p ) ( q ) * p q ( p q ) [( p ) ( q )] ( p q ) p ( q ) I expect you to know the (*) equivalences....
View Full Document

## This note was uploaded on 04/06/2010 for the course LAPS MATH 1190 taught by Professor Adachan during the Spring '10 term at York University.

### Page1 / 2

LogicalEquiv - q r ) ( p r ) ( q r ) ( p q ) r ( p q ) ( p...

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

View Full Document
Ask a homework question - tutors are online