Hello, I believe I just need a nudge in the right direction with the following problem:
A set of logical operators is functionally complete if every compound proposition is logically equivalent to one using only the operators in the set. Prove that NOT and OR form a functionally complete set of operators.
I am not quite sure how to approach the problem. It seems to be the case that two statements can be equivalent by using only the two operators. In this case OR and NOT.
Thanks for any and all help.