Quiz 2
Question1(12/50)
Convert the following two wffs into DNF and CNF respectively
a. (~A(BC)
=(~A(~BC) <CNF
=(~A~B) (~AC) <DNF
b. (A (B (C (~ A (B ~ C)
=(~A (B (~C (~ A (~B ~ C)
=(~A B)(~A (~C (~ A (~B ~ C)
=(~A B)(~A ~B ~ C) < CNF
=(~A(~A~B)(~A~C)(
UNIVERSITY OF WESTERN ONTARIO
Computer Science 209b, Winter 2000
Applied Logic for Computer Science
ASSIGNMENT 3  SOLUTIONS
Given: Friday, February 4, Due: Monday, February 14, 2000
1.
a)
p (q r) = p (q r) (implication law)

= p (q r) (implication law
UNIVERSITY OF WESTERN ONTARIO
Computer Science 209a, Fall 1999
Applied Logic for Computer Science
ASSIGNMENT 1  SOLUTIONS
Given: Friday, January 21, Due: Monday, January 31, 2000
1.
a) N F
b) (G M )
c) O L
d) B F
e) D W
f ) F E, or equivalently F E, E F
UNIVERSITY OF WESTERN ONTARIO
Computer Science 209b, Winter 2000
Applied Logic for Computer Science
ASSIGNMENT 2  SOLUTIONS
Given: Friday, January 28, Due: Monday, February 7, 2000
1. premise 1: P (G B)
premise 2: P F
premise 3: B F
conclusion:
F
The arg
UNIVERSITY OF WESTERN ONTARIO
Computer Science 209b, Winter 2000
Applied Logic for Computer Science
ASSIGNMENT 4  SOLUTIONS
Given: Friday, February 11, Due: Monday, February 28, 2000
1. Translation:
Premise 1. P W K G
Premise 2. P
Premise 3. W
Conclusion
CS2209A
2011Fall
Quiz3
Question 1.1
1.Translate the following into quantificational logic
(5 marks)
a. There is some French that everyone loves [Use Fx,
Lxy]
(x) (Fx (y) Lyx)
Question 1.2
b. The smallest one is either red or blue (5 marks) [Use
Sxy for x
CS2209A
2011Fall
Quiz 1
Marking Criterion 50 marks in total
1.
Translate following into wffs (10 marks):
a. If you are young, then you are strong but inconsiderate. (use Y, S and
I)3
(Y (S I)
b. You feel hungry if and only if you didnt eat meat. (use F
UNIVERSITY OF WESTERN ONTARIO
Computer Science 209b, Winter 2000
Applied Logic for Computer Science
ASSIGNMENT 7  SOLUTIONS
Given: Friday, March 17, Due: Monday, March 27, 2000
1.
a) (i) U = set of all cities in the world
A(x) = x is a city in North Amer