Search for question
Question

2. Prove the equivalence below. Give the name of the law you use for each step.

[~p →~ (p v g)]∧ ~q=~q

Fig: 1