Question

Write the negation of the following statement:

(p `rightarrow` q) ∨ (p `rightarrow` r)

Answer 1

∼[(p `rightarrow` q) ∨ (p `rightarrow` r)]

∼(p `rightarrow` q) ∧ ∼(p `rightarrow` r)

(p ∧ ∼q) ∧ (p ∧ ∼r)

p ∧ (∼q ∧ ∼r)

p ∧ ∼(q ∨ r)