Scribd
Upload
13 views7 pages

Lecture # 02

Lecture

Uploaded by

70148553
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
13 views7 pages

Lecture # 02

Lecture

Uploaded by

70148553
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 7

Discrete Structures

BSCS (3 Credit Hour)


Lecture # 02
Truth tables
 Truth tables for:
~pq
~ p  (q  ~ r)
(p  q)  ~ (p  q)
Truth table for the statement form ~ p  q

p q ~p ~pq
T T F F

T F F F

F T T T

F F T F
Truth table for ~ p  (q  ~ r)
p q r ~r q~r ~p ~ p  (q  ~ r)
T T T F T F F
T T F T T F F
T F T F F F F
T F F T T F F
F T T F T T T
F T F T T T T
F F T F F T F
F F F T T T T
Truth table for (p  q)  ~ (p  q)
p q p  q p  q ~ (pq) (p  q)  ~ (p  q)
T T T T F F
T F T F T T
F T T F T T
F F F F T F
Double Negative Property ~(~p)  p
p ~p ~(~p)
T F T
F T F
Example:
 “It is not true that I am not happy”
 Prove it double negation property for the above
statement ~ (~p)  p
 Solution:
Let p = “I am happy”
Then ~p = “I am not happy”
and ~(~ p) = “It is not true that I am not happy”
Since ~ (~p)  p
Hence the given statement is equivalent to:
“I am happy”

You might also like