This is a (syntactic) logic testing exercise. Work in groups.
We'll work problems similar to the homework for this week:
Exercises 8.2 (page 207) Number 1 (predicates i, ii, and iii).
i) f = ab!c + !ab!c
ii) f = !a!b!c!d + abcd
iii) f = ab + a!bc + !a!bc
Tasks: