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 (~
UNIVERSITY OF WESTERN ONTARIO
Computer Science 209b, Winter 2000
Applied Logic for Computer Science
ASSIGNMENT 5 - SOLUTIONS
Given: Friday, March 3, Due: Monday, March 13, 2000
1. n = xyzw
x
0
0
0
0
0
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) |=
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 )
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
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:
CS2209A
2011-Fall
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 smal
CS2209A
2011-Fall
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
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 a
UNIVERSITY OF WESTERN ONTARIO
Computer Science 209b, Winter 2000
Applied Logic for Computer Science
ASSIGNMENT 8 - SOLUTIONS
Given: Friday, March 24, Due: Monday, April 3, 2000
1. Translation:
Premise