Logic0930 - Errata on p.76 Problem 10.15 => 16...

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

View Full Document Right Arrow Icon

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

View Full DocumentRight Arrow Icon

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

View Full DocumentRight Arrow Icon

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

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

Unformatted text preview: Errata on p.76 Problem 10.15 => 16 definable from & and =/> & and =/ > Reading for the next week Ch.11 HW #4 due Oct. 7th in class (will be posted on the web board) 1. Define , => from alone. Also, define v, => from | alone. (find the simplest forms) 2. Is definable from =>? Is v definable from =/>? Either case, justify your an- swers. Hint: examine and compare truth tables J : joint denial (NOR) pq: p and q are both false. pq & ~(pvq), which explains the altern- ative name, NOR (not or). p q pq T T F T F F F T F F F T 10.10 ~, v, , => all definable from alone. Hint: once we define ~ and one of (v, , =>), the other connectives are all defin- able. ~p pp pvq & ~(pq) & (pq)(pq). If an island satisfies J , then it is a Boolean island. p q, p=>q are left as HW exercises. S : Sheffer stroke (NAND) | p|q: p or q (or both) is false....
View Full Document

This note was uploaded on 02/04/2010 for the course HSS Hss105 taught by Professor Yeelee during the Fall '09 term at Korea Advanced Institute of Science and Technology.

Page1 / 17

Logic0930 - Errata on p.76 Problem 10.15 => 16...

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

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