Solutions to 9.4, by Wynn Yin

Problem 1

• Express the functions f2 and f4 from the table of sixteen functions of two variables using {^,v,}.

(b ^ c) ^ b

• Does the exclusive-or function have the property of coummutativity? Of associativity?

a ¿ b ?= b¿ a è yes, commutative

a ¿ (b ¿ c) ?= (a ¿ b) ¿ c è yes, associative