UNIVERSITY OF WESTERN ONTARIO
Computer Science 209a
Applied Logic for Computer Science
ASSIGNMENT 6
Solution
1a.
PQ
PQ
R
PQ
PQ
#
1
1
1
1
"!
R
The simplied form is:
PQ PR
PQ
1b.
#
R
R
PQ
PQ
#
PQ
1
1
"!
"!
#
1
1
"!
The simplied form is:
P QR P Q R P QR P QR
UNIVERSITY OF WESTERN ONTARIO
Computer Science 209a
Applied Logic for Computer Science
ASSIGNMENT 8
Solution
1a. a) i) D=cfw_a
P(x) Q(x) R(x)
a
1
1
0
This interpretation makes the formula true.
ii) D=cfw_a
P(x) Q(x) R(x)
a
1
1
1
This interpretation makes
UNIVERSITY OF WESTERN ONTARIO
Computer Science 209b, Winter 2000
Applied Logic for Computer Science
MIDTERM TEST - SOLUTIONS
Friday, February 18, 2000
1. (1 mark each)
a) A G C
b) P I
c) C E G
d) C A G
e) G P
f) R P
g) S E
h) E (A S )
i) I (X X +) (X X +)
UNIVERSITY OF WESTERN ONTARIO
Computer Science 209a, Fall 2000
Applied Logic for Computer Science
MIDTERM TEST
9:00pm-11:00pm, Friday, February 18, 2000
Name
ID
1. Translate the following sentences into the language of propositional calculus
using the ind
UNIVERSITY OF WESTERN ONTARIO
Computer Science 209b, Winter 2000
Applied Logic for Computer Science
FINAL EXAM
Monday, April 10, 2:00pm-5:00pm
Name
ID
1. Translate each of the following sentences into the language of propositonal calculus using the indica
Western University
Computer Science Department
CS 2209A: Applied Logic for Computer Science
Fall 2012
Assignment 1 Solutions
1. (5 points) Prove by mathematical induction that (34n 1) is divisible by 80.
Answer
(a) For n=1. (34 1) = 80.
(b) Assume that fo