Vous êtes sur la page 1sur 4

COMSATS INSTITUTE OF INFORMATION TECHNOLOGY

VIRTUAL CAMPUS, ISLAMABAD


COMPUTER SCIENCE DEPARTMENT

ASSIGNMENT # 1
TOTAL MARKS:

10

Student Name:____ MUHAMMAD GHAZANFER HASAN


MADNI___________
Registration No.: CIIT/SP15MCS028/CVC

DISCRETE STRUCTURES
CSC102

Discrete Structures
Imran Qureshi

Course Instructor

COMSATS INSTITUTE OF INFORMATION TECHNOLOGY


VIRTUAL CAMPUS, ISLAMABAD
COMPUTER SCIENCE DEPARTMENT

Attempt all questions.


Question No1. Find the negation of the propositions and express
this in simple English.
(4 Marks)
1. Vandanas smart phone has at least 32GB of memory
2. Michaels PC runs Linux
Ans:
Solution -1:The negation is:
Vandanas smartphone does not have at least 32GB of memory.
OR
Vandanas smartphone has less than 32GB of memory.

Solution -2:The negation is:


Michaels PC dose not run Linux.

Question No2. Find the conjunction of the propositions p and q


where p is the proposition Rebeccas PC has more than 16 GB free
Discrete Structures
Imran Qureshi

Course Instructor

COMSATS INSTITUTE OF INFORMATION TECHNOLOGY


VIRTUAL CAMPUS, ISLAMABAD
COMPUTER SCIENCE DEPARTMENT

hard disk space and q is the proposition The processor in


Rebeccas PC runs faster than 1 GHz?

(4 Marks)

Ans:
The conjunction of these propositions, p ^ q, is the proposition
"Rebecca's PC has more than 16 GB free hard disk space and the processor
in Rebecca's PC runs faster than 1 GHz.
This conjunction can be expressed more simply as "Rebecca's PC has more
than 16 GB free hard disk space, and its processor runs faster than 1 GHz".
For this conjunction to be true, both conditions given must be true. It is false,
when one or both of these conditions are false.

Discrete Structures
Imran Qureshi

Course Instructor

COMSATS INSTITUTE OF INFORMATION TECHNOLOGY


VIRTUAL CAMPUS, ISLAMABAD
COMPUTER SCIENCE DEPARTMENT

Question No3. Construct the truth table of the compound


proposition

(2 Marks)

(pq)(pq).
Ans:

pq

pq

(pq)(p
q)

Good luck!

Discrete Structures
Imran Qureshi

Course Instructor