Unformatted text preview: CONCORDIA UNIVERSITY DEPARTMENT OF COMPUTER SCIENCE & SOFTWARE ENGINEERING COMP 232/2 Mathematics for Computer Science FALL 2010 Assignment 1 1. (10 marks) Professor Smullyan went to a remote island where all inhabitants were either knights or knaves. Knights always tell the truth and knaves always lie. While he was visiting the island, he came across two of the inhabitants, A and B, resting under a tree. Professor Smullyan asked them, “Is either of you a knight?” and A responded to his question. The professor immediately knew what both A and B were. What were A and B? How did the professor figure it out? 2. (15 marks) Classify each of the following as a contradiction, a tautology, or a contingency. a) ( p ↔ q ) ↔ ( ¬ ( p ⊕ q )) b) ( p ∧ q ) ∨ ( q ∧ r ) ∨¬ r → p c) ( p ∨ r ) ∧ ( p ∨¬ r ) → F 3. (15 marks) Prove the following logical equivalences without using truth tables....
View
Full
Document
This note was uploaded on 11/15/2010 for the course ENCS COMP 232 taught by Professor Ford during the Fall '10 term at Concordia University Irvine.
 Fall '10
 Ford

Click to edit the document details