Search the courses, subjects, tracks, games and features, or jump straight to a page.
4 cards from this section. Quick, good the night before a test.
Define logical equivalence.
Think about the truth values they represent.
What is a tautology?
Recall examples like 'p or not p'.
What does the Distributive Law state?
Consider how conjunction behaves with operators.
Is (p and -p) a contradiction?
Remember the definition of contradiction.
Demonstrate the steps to prove that p and (q or r) simplifies logically to (p and q) or (p and r) using truth tables, and explain each step.
Detailed tracking of truth values is key.
Given the expression p or (q and r), transform and prove it equivalent to (p or q) and (p or r) using the Distributive Law.
Breaking down each piece helps in clarity.
5 more questions in this section. Enroll free to practise them all.
Enroll free