Discrete Mathematics Assignment 1

Dr. Qurat-ul-Ain Azim

March 4, 2019

Problem 1

Determine the satisfiabilty conditions for a 16 × 16 sudoku puzzle in mathematical form.

Problem 2

List all the 64 propositional variables and their truth values (T/F/U - U for unknown) for
the following puzzle:

Problem 3

Translate these statements into English, where R(x) is x is a rabbit and H(x) is x hops and
the domain consists of all animals.

(i) ∀x(R(x) → H(x))

(ii) ∀x(R(x) ∧ H(x))

(iii) ∃x(R(x) → H(x))

(iv) ∃x(R(x) ∧ H(x))