1

Diszkrt matematika II., 1. eloads

tletkalkulus
Dr. Takch Gza
NyME FMK Informatikai Intzet
takach@inf.nyme.hu
http://inf.nyme.hu/takach/
2007. februr 8.

tletek
tlet: Olyan llts, kijelento mondat, mely biztosan igaz vagy hamis, de a ketto egyidejuleg nem teljesl.
Egy tlet logikai rtke igaz (i) vagy hamis (h) lehet.

Plda. tletek:
Most ra folyik.
2 2 = 5.
A kvetkezo kormnyt a Fidesz alaktja.
Nem tletek:
Mirt folyik most ra?
Most nem mondok igazat.

Logikai muveletek
tletekbol logikai muveletek segtsgvel sszetettebb tleteket kpezhetnk:
Ha esik az eso, akkor viszek esernyot.
Nem esik az eso.
Esik az eso vagy viszek esernyot.
Esik az eso s viszek esernyot.
Akkor s csak akor viszek esernyot, ha esik az eso.
Csak akkor esik az eso, ha viszek esernyot.
Definci. Tetszoleges A s B tletekre:
A negcija a nem A tlet; jele: A;
A, B konjunkcija az A s B tlet; jele: A B;
A, B diszjunkcija az A vagy B tlet; jele: A B;
A, B implikcija a ha A, akkor B tlet; jele: A B;
A, B ekvivalencija az akkor s csak akkor A, ha B tlet;
jele: A B.

Logikai muveletek (folyt.)

Az sszetett tletek logikai rtke csak a kiindulsi tletek logikai rtktol fgg:
A B AB AB AB AB
A A i i i i i i
i h i h h i h h
h i h i h i i h
h h h h i i
Megjegyzs.

1. A vagy-on nem kizr vagy-ot, hanem megengedo vagy-ot rtnk.

2. Az implikci automatikusan igaz, ha az elso vltoz hamis.

Logikai formulk
Definci. tletvltozn olyan vltozt rtnk, amik tletek helyett llnak a formulkban.

Logikai formulk az tletvltozkbl a muveletek vges sokszori alkalmazsval kaphatk. Teht:

 2

1. Maguk az tletvltozk is formulk.

2. Ha F s G formulk, akkor (F ), (F G), (F G), (F G),
(F G) is formulk.
3. Minden formula megkaphat 1. s 2. vges sokszori alkalmazsval.
Megjegyzs. A legklso zrjelet rendszerint elhagyjuk.

Plda. Induljunk ki az A, B, C vltozkbl,

majd kpezzk (A)-t s (B C)-t,
az eddigiekbol ((A) B)-t s ((B C))-t,
vgl az eddigiekbol (((A) B) ((B C)))-t.

Kirtkels
Egy formula logikai rtke a vltozk logikai rtkbol a formula felptse szerint az egyes muveleteket definil igazsgtb-
lzatok segtsgvel szmthat ki.

Plda. Az elozo ((A) B) ((B C)) formula esetn

ha A = i, B = i s C = h,
akkor A = h,
(A) B = h,
B C = h,
(B C) = i,
((A) B) ((B C)) = i.

Ez az eljrs a formula kirtkelse. Ha a vltozk minden lehetsges kirtkelsre elvgezzk a behelyettestst, kapjuk a
formula igazsgtblzatt.

Logikai ekvivalencia
Definci. Azt mondjuk, hogy kt formula logikailag ekvivalens, ha a bennk szereplo vltozk tetszoleges rtkre a formulk
igazsgrtke megegyezik (teht azonos az igazsgtblzatuk). Jellse: A B.

Plda. Az A B, (B) (A) s (A) B formulk logikailag ekvivalensek:

A B AB (B) (A) (A) B

i i
i h
h i
h h
 3

Alapveto logikai ekvivalencik

s kifejezse a tbbi muvelettel:

AB (A B) (B A)
AB (A) B

s alaptulajdonsgai:

A A A, (idempotencia)
A B B A, (kommutativits)
(A B) C A (B C), (asszociativits)

A A A, (idempotencia)
A B B A, (kommutativits)
(A B) C A (B C), (asszociativits)

tulajdonsga:
(A) A

Alapveto logikai ekvivalencik (folyt.)

s kzti sszefggsek:
)
(A B) A A
(abszorptivits)
(A B) A A
)
(A B) C (A C) (B C)
(disztributivits)
(A B) C (A C) (B C)

, , kzti sszefggsek:

)
(A B) (A) (B)
(De Morgan szablyok)
(A B) (A) (B)

Azonosan igaz s hamis formulk:

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

A (B (B)) B (B) A (B (B)) A
A (B (B)) A A (B (B)) B (B)
 4

Egyszerusts a jellsben
Asszociativits miatt a zrjelek elhagyhatak tbbtag konjunkciban s diszjunkciban.

Precedenciasorrend nincs, kivve: a negci kt a legerosebben.

Teht A B jelentse (A) B.

Mdszerek tovbbi logikai ekvivalencik levezetsre

1. Egy rszformula helyre vele logikailag ekvivalens rhat.

Plda. A (B C) A (B C).

2. Egy formult runk be egy vltoz helyett egy mr ismert logikai ekvivalenciban.

Plda. (A (B C)) A (B C).

Ezzel lehetov vlik logikai ekvivalencik levezetse igazsgtblzat nlkl, az alapveto logikai ekvivalencik felhasznlsval.

Plda
Igazoljuk, hogy az ekvivalencia tagadsa a kizr vagy, azaz

(A B) (A B) (A B)!

(A B) ((A B) (B A))
((A B) (B A))
(A B) (B A))
((A) B) ((B) A))
(A B) (B A))
(A B) (A A) (B B) (B A)
(A B) (B A)
(A B) (B A)
(A B) (A B).

Teljes diszjunktv normlforma

Definci. Egy formula diszjunktv normlforma, ha K1 . . . Kl alak, ahol K1 , . . . , Kl mindegyike vltozknak, illetve
vltozk negltjainak konjunkcija.

Plda. (A B) (A B C) egy diszjunktv normlforma.

Definci. Az A1 , . . . , An vltozkbl kpzett K1 . . . Kl diszjunktv normlformt teljes diszjunktv normlformnak

(TDNF) nevezzk, ha
K1 , . . . , Kl mindegyike n-tag, pronknt klnbzo konjunkci, melyekben az A1 , . . . , An vltozk mindegyike szerepel ne-
glva vagy neglatlanul.

Clszeru megengedni az l = 0 esetet is azzal a megllapodssal, hogy az res diszjunkci egy olyan formula, amely azonosan
hamis (minden behelyettests esetn hamis az rtke).

Plda. (A B C) (A B C) egy TDNF.

Ttel. Minden F = F (A1 , . . . , An ) formula logikailag ekvivalens egy H = H(A1 , . . . , An ) teljes diszjunktv normlformval,
s H a tagok sorrendjtol eltekintve egyrtelmu.

Bizonyts. Egy n-vltozs TDNF-ban szereplo Ki konjunkci pontosan egy behelyettests esetn lesz igaz: ha a neglatlan
vltozi igazak, a negltak hamisak.

Teht egy adott F formulhoz tartoz H teljes diszjunktv normlformt gy kapjuk, hogy F igazsgtblzatnak minden egyes
igaz sorhoz felvesszk a megfelelo Ki -t, s ezeket kapcsoljuk ssze diszjunkcival.
 5

Legyen F igazsgtblzata
A B C F (A, B, C)
i i i i
i i h i
i h i h
i h h h
h i i h
h i h i
h h i h
h h h h
Ekkor H hrom tagbl fog llni:
(A B C) (A B C) (A B C).
Az egyrtelmusg onnan kvetkezik, hogy ha van egy olyan tag, ami az egyik TDNF-ban szerepel, de a msikban nem, akkor az
ennek megfelelo behelyettestsre az egyik igaz, a msik hamis logikai rtket ad.

Egy formula TDNF-v alakthat alapveto logikai ekvivalencik felhasznlsval is:

1. Kikszbljk a s a muveleteket;
2. A De Morgan szablyokkal beviszzk a negcikat a vltozkhoz;

3. A disztributivits felhasznlsval bevisszk a jeleket a vltozk kz, gy diszjunktv normlformv alaktjuk a

formult;
4. Vgl kiegsztjk azokat a tagokat, amelyekben nem fordul elo az sszes vltoz, gy kapjuk a TDNF-t.
Plda.

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

A TDNF gyakorlati alkalmazsa: bizonyos esetekben egyszerubb kiszmolni egy TDNF-t, mint felrni egy igazsgtblzatot. A
ttel rtelmben a TDNF-ekrol rnzsre eldntheto, hogy kt formula logikailag ekvivalens-e.

Ellenorzo krdsek

1. rja fel a logikai muveleteket definil igazsgtblzatokat!

2. Mikor logikailag ekvivalens kt formula?

3. Mikor nem logikailag ekvivalens kt formula?

4. rja fel egy formula TDNF-jt igazsgtblzata alapjn!
5. Mi lesz A ? (B ? (B)) igazsgrtke, ha ?-ok helybe egy-egy ill. jelet rok?