Scribd
Upload
51 views1 page

Discrete Mathematics Assignment 1: Dr. Qurat-ul-Ain Azim March 4, 2019

This discrete mathematics assignment contains 3 problems. Problem 1 asks to determine the satisfiability conditions for a 16x16 sudoku puzzle mathematically. Problem 2 lists the 64 propositional variables and their truth values for a given sudoku puzzle. Problem 3 translates logical statements about rabbits hopping into English sentences, where the domain is animals.

Uploaded by

Junaid Hashmat (CR)
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
51 views1 page

Discrete Mathematics Assignment 1: Dr. Qurat-ul-Ain Azim March 4, 2019

This discrete mathematics assignment contains 3 problems. Problem 1 asks to determine the satisfiability conditions for a 16x16 sudoku puzzle mathematically. Problem 2 lists the 64 propositional variables and their truth values for a given sudoku puzzle. Problem 3 translates logical statements about rabbits hopping into English sentences, where the domain is animals.

Uploaded by

Junaid Hashmat (CR)
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 1

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))

You might also like