Use the definitions:

x S T iff (x S) (x T)

x S' iff (x S)

S T iff (x)(x S X T)

1. Prove line-by-line:

r (p q)

assuming that r q and (q r) p

2. A, B, C & A B are sets.

Prove:

BnCgAnC