Question: Please make the writing clear Problem 8 Explain why each of the following are tautologies. That is, what expression(s) of predicate logic did we substitute
Problem 8 Explain why each of the following are tautologies. That is, what expression(s) of predicate logic did we substitute into which tautologies of propositional logic? a) (P(X) OR ((Y)) = (g(Y) OR p(x)) b) (p(X,Y) AND P(X,Y)) = P(X,Y) c) (p(X) + FALSE) = NOT P(X)
Step by Step Solution
There are 3 Steps involved in it
Get step-by-step solutions from verified subject matter experts
