Computer Science - UGC NET 2021 [ Question ID = 2351 ]

Question

Which of the following are logically equivalent ?

1. ¬p -> ( q -> r ) and q -> ( p v r )
2. ( p -> q ) -> r and p -> ( q -> r )
3. ( p -> q ) -> ( r -> s ) and ( p -> r) -> ( q -> s )

Choose the correct answer from the options given : 

• A. i and ii only
• B. i and iii only
• C. i only
• D. ii and iii only

Answer 1

Implication is does not satisfy the commutative property , hence B is false

Answer 2

option 3 A only

Comments

Great explanation. This should be the best answer