hw3 - CSCI-561 Fall 2010 Homework 3 Student name: _...

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

View Full Document Right Arrow Icon
CSCI-561 Fall 2010 Macskassy Homework 3 Due Nov. 3, 2010 Student name: _____________________________ Student ID: _________________ Question 1 [Q1: 20 points] a). P Q is defined as being equivalent to (P Q) ^ (Q P). Based on this definition, show that P Q is logically equivalent to (P v Q) (P ^ Q). i) [5pts] By using truth tables. ii) [5pts] By using the following identities: ¬ (¬P) = P (P Q) = (¬P v Q) the contrapositive law: (P Q) = (¬Q ¬P) deMorgan's law: ¬ (P v Q) = (¬P ^ ¬Q) and ¬ (P ^ Q) = (¬P v ¬Q) the commutative laws: (P ^ Q) = (Q ^ P) and (P v Q) = (Q v P) the associative law: ((P ^ Q) ^ R) = (P ^ (Q ^ R)) the associative law: ((P v Q) v R) = (P v (Q v R)) the distributive law: P v (Q ^ R)) = (P v Q) ^ (P v R) the distributive law: P ^ (Q v R)) = (P ^ Q) v (P ^ R)
Background image of page 1

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

View Full DocumentRight Arrow Icon
CSCI-561 Fall 2010 Macskassy Homework 3 Due Nov. 3, 2010 Student name: _____________________________ Student ID: _________________ Question 1 (cont.) [Q1: 20 points] b) Consider the following propositional knowledge base:
Background image of page 2
Image of page 3
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 01/24/2011 for the course CS 561 at USC.

Page1 / 4

hw3 - CSCI-561 Fall 2010 Homework 3 Student name: _...

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

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