Tautol

ogiagy
ujtemeny
(I)

(II)

(III)

(IV)

, kifejezese a t
obbi m
uvelettel:
(1)

A B (A B) (B A),

(2)

A B (A) B.

, alaptulajdons
agai:
(3)
A A A,
(4)
A B B A,
(5)
(A B) C A (B C),
(6)
(A B) A A,
(7) (A B) C (A C) (B C),

A A A,
A B B A,
(A B) C A (B C),
(A B) A A,
(A B) C (A C) (B C).

, , k
oz
otti o
sszef
uggesek:
(8)
(A B) (A) (B), (A B) (A) (B),
(9)
(A) A,
(10)
A (A) B
(B),
A (A)
B (B),
(11)
A B (B)

A,
A

B (B)
B (B),


(12)
A B (B) B (B),
A B (B) A.
-t es -t tartalmaz
o logikai ekvivalenci
ak:
(13)
A B B A,
(14)
(A B) C A (B C),
(15)
A B (B) (A),
(16)
(A C) (B C) (A B) C,
(17)
(A B) (A C) A (B C),
(18)
A (B C)
(A B) C,
(19)
A B (B) A.

(idempotencia)
(kommutativit
as)
(asszociativit
as)
(abszorptivit
as)
(disztributivit
as)
(De Morgan szab
alyok)

(kommutativit
as)
(asszociativit
as)

(V) Tautol
ogi
ak:
(20)
(21)
(22)
(23)
(24)
(25)
(26)
(27)
(28)
(29)
(30)
(31)
tov
abb
a
(32)
(33)

A A A (A) ,


A (A B) B,


(B) (A B) (A),


(A) (A B) B,


A B (A B) ,
(A B) A,
A (A B),


(A B) (B C) (A C),


(A B) (B C) (A C) ,


(A B) (A C) (B C) ,


(A B) (A C) (B C) ,


(A B) (B C) (A C),


(A B) (A C) (B C) ,


(A B) (C A) (C B) ,

ahol a , , , logikai m
uveletek b
armelyike lehet.
Az (V) tautol
ogi
ak, valamint az egyes FG alapvet
o logikai ekvivalenci
akb
ol sz
armaztatott F G, F G
es G F alak
u tautol
ogi
ak o
sszesseget nevezz
uk tautol
ogiagy
ujtemenynek.