Question

Check if following statements are tautologies: \text { (a) }((p \Longrightarrow q) \wedge(p \Longrightarrow r)) \Longleftrightarrow(p \Longrightarrow(q \wedge r)) \text {. } \text { (b) }((p \Longrightarrow \neg q) \vee(p \Longrightarrow r)) \Longleftrightarrow(q \vee r)

Fig: 1

Fig: 2

Fig: 3