¥à訩 ᥬ¥áâà, § 

å¨áâ ஧à åã­ª®¢®ù ஡®â¨ ü1.

1 16

I. ®§¢'易⨠à÷¢­ï­­ï ¢÷¤­®á­® X : B ∩ X = A. I. ®§¢'易⨠à÷¢­ï­­ï ¢÷¤­®á­® X : A ∩ X = X \ B.

II. ‘¯à®áâ¨â¨ ¢¨à §: ((A \ B) × C) ∩ ((D ∪ A) × E). II. ‘¯à®áâ¨â¨ ¢¨à §: ((E \ D) × C) \ ((A ∪ D) × C).
2 17

I. ®§¢'易⨠à÷¢­ï­­ï ¢÷¤­®á­® X : B ∪ X = A. I. ®§¢'易⨠à÷¢­ï­­ï ¢÷¤­®á­® X: A ∪ X = B \ X.

II. ‘¯à®áâ¨â¨ ¢¨à §: ((A \ C) × B) \ ((D ∪ A) × B). II. ‘¯à®áâ¨â¨ ¢¨à §: ((D\E)×(B ∪C))\((A∩E)×C).
3 18

X: B ∩ X = A \ X.
I. ®§¢'易⨠à÷¢­ï­­ï ¢÷¤­®á­® I. ®§¢'易⨠à÷¢­ï­­ï ¢÷¤­®á­® X : A ∪ X = X c \ B.
II. ‘¯à®áâ¨â¨ ¢¨à §: ((A∩D)×C)∩((E \A)×(B∪C)). II. ‘¯à®áâ¨â¨ ¢¨à §: ((E ∪A)×(B ∩C))\((A\E)×C).
4 19

X: B ∪ X = A \ X.
I. ®§¢'易⨠à÷¢­ï­­ï ¢÷¤­®á­® I. ®§¢'易⨠à÷¢­ï­­ï ¢÷¤­®á­® X: A ∩ X = B ∩ X.
II. ‘¯à®áâ¨â¨ ¢¨à §: ((A∩D)×C)\((E \D)×(B∪C)). II. ‘¯à®áâ¨â¨ ¢¨à §: ((A\E)×(B ∪C))\((D\A)×C).
5 20

X :B ∩ X = A ∪ X .
I. ®§¢'易⨠à÷¢­ï­­ï ¢÷¤­®á­® I. ®§¢'易⨠à÷¢­ï­­ï ¢÷¤­®á­® X: A ∪ X = B ∪ X.
II. ‘¯à®áâ¨â¨ ¢¨à §: ((E\D)×(B∪C))∩((A∪D)×C). II. ‘¯à®áâ¨â¨ ¢¨à §: ((D\A)×(B ∪C))∩((E \A)×C).
6 21

I. ®§¢'易⨠à÷¢­ï­­ï ¢÷¤­®á­® X : B ∪ X = X \ A. I. ®§¢'易⨠à÷¢­ï­­ï ¢÷¤­®á­® X :B \ X = A ∩ X .

II. ‘¯à®áâ¨â¨ ¢¨à §: ((A ∪ D) × C) \ ((E \ D) × C). II. ‘¯à®áâ¨â¨ ¢¨à §: ((D ∪ A) × (B \ C)) ∩ (A × C).
7 22

X :B \ X = A ∪ X .
I. ®§¢'易⨠à÷¢­ï­­ï ¢÷¤­®á­® I. ®§¢'易⨠à÷¢­ï­­ï ¢÷¤­®á­® X: B \ X = A ∪ X.
II. ‘¯à®áâ¨â¨ ¢¨à §: ((A∩D)×C)\((E \D)×(B∪F )). II. ‘¯à®áâ¨â¨ ¢¨à §: (A × C) \ ((D ∪ A) × (B \ C)).
8 23

X : B ∪ X c = X \ A.
I. ®§¢'易⨠à÷¢­ï­­ï ¢÷¤­®á­® I. ®§¢'易⨠à÷¢­ï­­ï ¢÷¤­®á­® X: A ∪ X = B \ X.
II. ‘¯à®áâ¨â¨ ¢¨à §: ((E ∩D)×C)\((A\D)×(B∪F )). II. ‘¯à®áâ¨â¨ ¢¨à §: ((E\D)×(B∪C))∩((A∩D)×C).
9 24

X :B ∩ X = A ∩ X .
I. ®§¢'易⨠à÷¢­ï­­ï ¢÷¤­®á­® I. ®§¢'易⨠à÷¢­ï­­ï ¢÷¤­®á­® X: A ∩ X = B ∪ X.
II. ‘¯à®áâ¨â¨ ¢¨à §: ((D\A)×(B ∪C))\((A\E)×F ). II. ‘¯à®áâ¨â¨ ¢¨à §: ((E \D)×(B∪C))\((A∩D)×C).
10 25

X :B ∪ X = A ∪ X .
I. ®§¢'易⨠à÷¢­ï­­ï ¢÷¤­®á­® I. ®§¢'易⨠à÷¢­ï­­ï ¢÷¤­®á­® X: B ∩ X = A ∪ X.
II. ‘¯à®áâ¨â¨ ¢¨à §: ((D\A)×(B ∪C))∩((E \A)×F ). II. ‘¯à®áâ¨â¨ ¢¨à §: ((E\D)×(B∪C))∩((A∪D)×C).
11 26

I. ®§¢'易⨠à÷¢­ï­­ï ¢÷¤­®á­® X : B ∩ X = A. I. ®§¢'易⨠à÷¢­ï­­ï ¢÷¤­®á­® X : A ∩ X = X \ B.

II. ‘¯à®áâ¨â¨ ¢¨à §: (A × (B \ C)) ∩ ((D ∪ E) × C). II. ‘¯à®áâ¨â¨ ¢¨à §: ((A ∪ D) × C) \ ((E \ D) × C).
12 27

I. ®§¢'易⨠à÷¢­ï­­ï ¢÷¤­®á­® X :B ∪ X = A. I. ®§¢'易⨠à÷¢­ï­­ï ¢÷¤­®á­® X: A \ X = B ∪ X.

II. ‘¯à®áâ¨â¨ ¢¨à §: (A × (C \ B)) \ ((D ∪ E) × B). II. ‘¯à®áâ¨â¨ ¢¨à §: ((E \D)×(B∪C))\((A∩D)×C).
13 28

X :B ∩ X = A \ X .
I. ®§¢'易⨠à÷¢­ï­­ï ¢÷¤­®á­® X : A ∩ X c = X \ B.
I. ®§¢'易⨠à÷¢­ï­­ï ¢÷¤­®á­®

II. ‘¯à®áâ¨â¨ ¢¨à §: ((E\D)×(B∪C))∩((A∩D)×C). II. ‘¯à®áâ¨â¨ ¢¨à §: ((E ∩D)×C)\((A\D)×(B∪C)).

14 29

I. ®§¢'易⨠à÷¢­ï­­ï ¢÷¤­®á­®X: B ∪ X = A \ X. I. ®§¢'易⨠à÷¢­ï­­ï ¢÷¤­®á­® X: A ∪ X = B ∪ X.

II. ‘¯à®áâ¨â¨ ¢¨à §: ((E \D)×(B∪C))\((A∩D)×C). II. ‘¯à®áâ¨â¨ ¢¨à §: ((D\A)×(B ∪C))\((A\E)×C).
15 30

X :A ∩ X = B ∪ X .
I. ®§¢'易⨠à÷¢­ï­­ï ¢÷¤­®á­® I. ®§¢'易⨠à÷¢­ï­­ï ¢÷¤­®á­® X: A ∩ X = B ∩ X.
II. ‘¯à®áâ¨â¨ ¢¨à §: ((E\D)×(B∪C))∩((A∪D)×C). II. ‘¯à®áâ¨â¨ ¢¨à §: ((D\A)×(B ∪C))∩((E \A)×C).