help-computer science

1)

2)

Reformulate the theorem in question 1 by using the predicate P to represent a . b = c. In other words, P(a,b,c) iff a. b = c.