MA112-Lecture_Notes-OH-L02

MA112-Lecture_Notes-OH-L02 - MA112 Discrete Mathematics...

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

View Full Document Right Arrow Icon
MA112 Discrete Mathematics Dr. Omar Hamdy Summer 2010 1 MA112 Discrete Mathematics Omar Hamdy [email protected] Lecture Notes 2
Background image of page 1

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

View Full Document Right Arrow Icon
MA112 Discrete Mathematics Dr. Omar Hamdy Summer 2010 2 Review • A statement is a description of something • A proposition is a declarative statement that is true or false. • Compound propositions are made using logical connectives (logical operators) • Proposition statement output is Boolean: either true (T) or false (F)
Background image of page 2
MA112 Discrete Mathematics Dr. Omar Hamdy Summer 2010 3 Logical Connectives iff Biconditional p?q:true if,then Conditional xor Exclusive or || or Disjunction and Conjunction ! not Negation Java Usage Symbol Operator
Background image of page 3

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

View Full Document Right Arrow Icon
MA112 Discrete Mathematics Dr. Omar Hamdy Summer 2010 4 Negation Truth Table T F F T p p
Background image of page 4
MA112 Discrete Mathematics Dr. Omar Hamdy Summer 2010 5 Conjunction Truth Table F F F F T F F F T T T T p q q p • How many combinations?
Background image of page 5

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

View Full Document Right Arrow Icon
MA112 Discrete Mathematics Dr. Omar Hamdy Summer 2010 6 Disjunction Truth Table F F F T T F T F T T T T p q q p
Background image of page 6
MA112 Discrete Mathematics Dr. Omar Hamdy Summer 2010 7 Exclusive-Or Truth Table F F F T T F T F T F T T p q q p
Background image of page 7

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

View Full Document Right Arrow Icon
MA112 Discrete Mathematics Dr. Omar Hamdy Summer 2010 8 Conditional Truth Table T F F T T F F F T T T T p q q p
Background image of page 8
MA112 Discrete Mathematics Dr. Omar Hamdy Summer 2010 9 Bi-Conditional Truth Table T F F F T F F F T T T T p q q p
Background image of page 9

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

View Full Document Right Arrow Icon
MA112 Discrete Mathematics Dr. Omar Hamdy Summer 2010 10 Constructing the Truth Table • Construct the truth table for: (p q) (¬p q) T T F F ¬p T T F T p q F T T F ¬p q F F F T T F F F T F T T (p q) (¬p q) q p
Background image of page 10
Image of page 11
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

Page1 / 27

MA112-Lecture_Notes-OH-L02 - MA112 Discrete Mathematics...

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

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