Hello, dear friend, you can consult us at any time if you have any questions, add WeChat: THEend8_
comp2022/2922 Propositional Logic
• This assignment is due in Week 13 on Sunday 5 November, 11:59pm.
• Submission is on GradeScope. Formatting details will be forthcoming and posted A4
clarifications and guidelines.
• All work must be done individually without consulting anyone else’s solutions in accor-
dance with the University’s “Academic Dishonesty and Plagiarism” policies.
• For clarifications and more details on all aspects of this assignment (e.g., level of justifica-
tion expected, late penalties, repeated submissions, what to do if you are stuck, etc.) you
are expected to regularly monitor the Ed Forum post “Assignment FAQ”.
Problem 1. (10 marks) Draw truth tables for the following formulas:
1. (p ∨ q) ∧ ¬q
2. ¬(p→ q) ∨ (¬r→(q ∧ ¬p))
Problem 2. (20 marks) Design formulas over the basic syntax for the following
propositions:
1. p and q have the same truth value.
2. p ≤ q ≤ r ≤ s (interpreting true as 1 and false as 0).
3. The number of true variables out of {p, q, r, s} is exactly 2.
4. The number of true variables out of {p, q, r, s} is strictly greater than the
number of true variables out of {r, s, u, v,w}.