... are logically equivalent to (~P v Q) (that is, ‘not P ... rule. The negation is ~(~P v Q), and this is equivalent ... implication rule we get ~P v ~Q. But by DeMorgan and ...
@Harry_Pluxen that is EXACTLY why you should place more emphasis on the BR... focus more on the process than the product... Also check out this video https://www.youtube.com/watch?v=_sOsE0OlR00