Hello Everyone,

I just stuck-up while solving the following question:

Verify this statement is logically equivalent using laws of logic :

~(P disjunction q) disjunction (~p ^ q) = ~ p

Note: here is used word disjunction instead of symbol.

I need your help and support to solve this problem.

Thanks.