Show that the following two sentences are equivalent in SD b

Show that the following two sentences are equivalent in SD by deriving them from each other:

A)     A&(BvC)    B) (A&B)v(A&C)

Solution

solution:

(A) A&(BvC)=(A&B)v(A&C)

=A&(BvC)

(B) (A&B)v(A&C)=(A&B)v(A&C)v(B&C)

=A&(B&C)v(B&C)

=A&(BvC)

hence proved