Go backward to Logic Evaluator Go up to Top Go forward to |
For every A, B, C, D and every R subset A x B, S subset B x C, and T subset C x D, we have:
(R-1)-1 = R; R o (S o T) = (R o S) o T; (R o S)-1 = S-1 o R-1.
Proof: see lecture notes (will be discussed later).