In: Computer Science
Assume that an operation * is defined as follows: x * y = x' + y Using Boolean algebra theorems and postulates (don’t use K-maps), check whether the operation * is associative or not?
the * operation is actually implication(->) operation and it is well known non associative operation. you can prove it using truth tables or just as follows:
the implication → is not associative. Compare (p→q)→r and p→(q→r). If p and r are true and q is false, then (p→q) is false, so (p→q)→r is true. But under the same conditions q→r is true, and therefore p→(q→r) is true. So (p→q)→r and p→(q→r) cannot be equivalent; that is, → is not associative.