16.. Pro množiny A, B, C platí A-B = BnC a C c A a B-A * 0. Situaci pomocí symbolů 0  a •   znázorněte v množinovém diagramu a rozhodněte, který z následujícícli
výroků je pravdivý: 1. AnB = CAB, '2. BAC # .0, 3. AkJB c AuC,
4. A = (BwC)-(AAB), 5. AAC=.0, í.AcC.
Závěi"y: Pravdivé výroky: 2, 4t 6.
Nepravdivé výroky: 1, 3. O pravdivosti výroku 5 nelze rozhodnout:
Je-li AnBnC'= 0, pak je AAC = ,0;
0 j  \   j je-li AnBnCVtf, pakjc AAC*.0\
17.-Rozhodněte, jaké podmínky musí splňovat množiny A, B, C, aby pro množiny L = [B-(B-A)]u[Au(BnC)], P = [(BAC)-C]u(AnB) platilo: a) LcP, b) PcL, c) P = L, d) P * L.
Nástin řešení. Postupným znázorňovaním množin zapsaných v jednotlivých závorkách vyšraŕujeme pole v množinových diagramech znázorňující množiny L a P.
P:
Závěry: a) Je-li AnB'= 0 ,\ A'nBnC = 0, pak je LcP.
b) Je-li A'nBnC'= 0, pak je PcL. '
c) Je-li LcPaPcL, pak je P = L; stručně : je-li AAB = 0, pak je L = P.
d) Je-li AAB # 0, pak je L*P.
Platí též: L = Au(BnC) = Au(A'nBnC),
. P = (B-C)u(AnB) = B-(C-A) atp.
18. Pro množiny A, B, C platí:
a) AAB = BnCAAcC-AA'B*£
b) AuB = B-A a BnC * J0T ABAC = A'nBnC.
c) AAB = AAC a BnC c A aB ŕ 5.
Situace znázorněte pomocí symbolů   0   a   •   v množinovém diagramu a rozhodněte o pravdivosti následujících výroků:  1 .'C * 0,. 2. B AC * 0, 3. AuB = AAB, 4. A = 0, 5.'BOČ-BnC, 6. AnB c BnC, 7. A c C, 8. (AuBwC)'= A'.