CSE 215 Quiz: Recitation 1
7 Mar 2017
School
Department
Course
Professor
Document Summary
P ^ t, where t is a tautology. With t as a tautology, it will always be equivalent from p and p and t. P ^ c, where c is a contradiction. With the contradiction, the statements are never logically equivalent. Figure out of the given statement is the tautology or a contradiction. (~p v q) v (p v ~q) If this statement evaluates to true, it is a tautology. If it evaluates to false, it is a contradiction. Constructing a truth table is not always the best method since it is expensive and will use up memory. Instead, we will use laws to help simplify this problem. We can simplify this by using demorgan"s law on the second statement: (~p v q) v ~(~p v q) Since we have the same thing on both sides, we can replace them with a variable such as q. This will evaluate to true, making this a tautology.
