138384020076615102215190108200 n

Tablica 1.1. Prawa algebry zbiorów

la. Aufl = flU.4l b. AHB = BHAJ		prawa przemień ności
2a. (.4 U B) U C = A u (B u C) \ b. (AnB)nC = An(Bnc)J		prawa łączności
3a. AU(BnC) = (AuB)n(AuC)\ b. A n (B		prawa rozdzielności
4a. .4 U A = A b. .4 n A s A	\	prawa idempotentności
5a. .4 U 0 - .4
b.    Au U = V c.    .4n0 = 0 d.    A l A		prawa identyczności
6. (A^c)^c = A		prawo podwójnego dopełnienia
7a. A U A^c = U
b. .4 O A^c = 0
8u. l^re * 0
b. 0^C = U
9a. (.4 U B)^c -b. (AHB)^e =	y4^cnfl^cl A^c U B^r ]	prawa De Morgana

Elementy logiki

Operatory:

-    - negacja („nic")

-    koniunlccja („i")

v - alternatywa niewykluczająca („lub”)

@ - alternatywa wykluczająca („albo. albo") - XOR |    - kreska Sheffcra NAND

-* implikacja („jeżeli, to")

-* - równoważność („wtedy i tylko wtedy”)

<=> - równoważność logiczna

Kwantyfikatory:

Kwantyfikator ogólny: V - „dla każdego" Kwantyfikator szczegółowy: 3 „istnieje”

Symbole pomocnicze:

-    „stąd”, „zatem”

Konlrprzyklad - prz.yklad zaprzeczający zdaniu ogólnemu

str. 4/15