1 Propositions and formulas
For each of the following formulas, create a truth table and decide whether the proposition is a tautology, a contradiction, or contingent. Also state whether the formula is satisﬁable or not.
a) p∧(q∨p) (1 mark) b) ((p → q)∧¬q) → p (1 mark) c) (p∨q) ↔¬(¬p∧¬q) (1 mark)
2 Logical equivalence
a) Use a truth table to demonstrate that p∧(q∨r) ≡ (p∧q)∨(p∧r).
MyAssignmenthelp.com is the best assignment help provider serving thousands of students in New York City, Boston, Washington D.C. and Chicago. With a team of qualified and experienced online assignment experts, we deal with all types of assignment writing tasks. Our popular assignment help services include marketing assignment help, auditing assignment help, finance assignment help, statistics assignment help, help with law assignments. We guarantee that students, who decide to buy assignments online, get work worth their money and time.