MIT6_042JS10_lec04

MIT6_042JS10_lec04 - Propositional (Boolean) Logic A...

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

View Full Document Right Arrow Icon
1 February 10, 2010 Albert R Meyer The Logic of Propositions lec 2W.1 February 10, 2010 Albert R Meyer There are regular solids. 6 False lec 2W.2 Propositional (Boolean) Logic A proposition is either True or False Example: Non -examples: Wake up! Where am I? February 10, 2010 Albert R Meyer G (S J) True even if a Greek carries both a Sword and a Javelin Greeks carry Swords or Javelins lec 2W.3 English to Math February 10, 2010 Albert R Meyer G (B C) English to Math Greeks carry Bronze or Copper swords Bronze or Copper but not both lec 2W.4 February 10, 2010 Albert R Meyer Definition of OR P Q P OR Q T T T T F T F T T F F F The value of (P OR Q) is T iff P is T, or Q is T , or both are T . Truth Table for OR lec 2W.5 F iff P,Q are F February 10, 2010 Albert R Meyer Definition of XOR P Q P XOR Q T T F T F T F T T F F F The value of (P XOR Q) is T iff exactly one of P and Q is T. Truth Table for XOR lec 2W.6
Background image of page 1

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

View Full DocumentRight Arrow Icon
2 February 10, 2010 Albert R Meyer Definition of AND P Q P AND Q T T T T F F F T F F F F The value of (P AND Q) is T iff both P and Q are T .
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 05/27/2011 for the course CS 6.042J taught by Professor Prof.albertr.meyer during the Spring '11 term at MIT.

Page1 / 6

MIT6_042JS10_lec04 - Propositional (Boolean) Logic A...

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