L3 PropositionalEquivalences
L3 PropositionalEquivalences
L3 PropositionalEquivalences
Dept. of ECE
School of Engineering and Physical Science
T T
T F
F T
F F
Solution
T T F
T F F
F T T
F F T
Solution
T T F T
T F F T
F T T T
F F T F
Solution
p q ¬p p Úq ¬p Ù(p Úq ) [¬p Ù(p Úq )]®q
T T F T F
T F F T F
F T T T T
F F T F F
Solution
T T F T F T
T F F T F T
F T T T T T
F F T F F T
Since the truth table shows all the true values of compound proposition
[¬p Ù(p Úq )]®q are true(T), so it is a tautology.
Class Work
Since the truth values of both of the compound propositions are same in the
corresponding rows, they are logically equivalent.
Class Work
Since the truth values of both of the compound propositions are same in the
corresponding rows, they are logically equivalent.
Logical Equivalences
Table 6 ( page 24 ) è Rosen, 7th edition
A very Useful Logical Equivalence(ULE)
p®qº¬pÚq
Example 1
Solution:
by ULE
Example 7 (page 26)
Solution:
Exercise