Treść książki

Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
inienależądoB.RóżnicęzbiorówAiBmożnawięczapisaćtak:
A
\
B
=
{
x
:
x
E
A
^
x
!
B
}
lub
tak:
x
E\
A
B
-
x
E
A
^
ż
x
E
B
.
Różnicę
zbiorówilustrujerys.2.4.
A
A\B
B
U
Rys.2.4.Różnicazbiorów
Podobniejakwprzypadkuprawlogiki,możnawymienićkilkaważnychpraw
działańnazbiorach.Zostałyonewymienionewtabeli2.1.
Tabela2.1.Ważneprawadziałańnazbiorach
Prawo
(A!)!=A
AmA!=0
AUA!=U
AUB=BUA
AmB=BmA
AU(BUC)=(AUB)UC
Am(BmC)=(AmB)mC
AU(BmC)=(AUB)m(AUC)
Am(BUC)=(AmB)U(AmC)
AmU=A
AUU=U
Am0=0
AU0=A
(AUB)!=A!mB!
(AmB)!=A!UB!
Nazwa
Prawoinwolucji
PrawaBoole’a
Prawaprzemienności
Prawałączności
Prawarozdzielności
Prawapochłaniania
PrawadeMorgana
26