8. gyakorlat

\(\to \;=\; \subset\): implikáció jele

Igazságtábla

A táblázatnak n + 1 oszlopa van

n: ítéletváltozók száma

\(\neg p \land q \to r \lor q\)

p	q	r	\(\neg p \land q \to r \lor q\)
I	I	I	I
I	I	H	I
I	H	I	I
I	H	H	I
H	I	I	I
H	I	H	I
H	H	I	I
H	H	H	I

Ez egy tautológia

\(p \lor \neg q \to q \land r\)

p	q	r	\(p \lor \neg q \to q \land r\)
I	I	I	I
I	I	H	H
I	H	I	H
H	I	I	I
I	H	H	H
H	I	H	I
H	H	I	H
H	H	H	H

TODO: példákat írni

Literál: ítéletváltozó vagy annak a negáltja (a benne szereplő változóról beszélünk ilyenkor)

pL.: \(x, \; \neg y\)

Elemi konjunkció: Páronként különböző alapú literálok konjunkciós lánca

Pl.: \(y \land \neg y, \; y \land z\)

Elemi diszjunkció: Páronként különböző alapú literálok diszjunkciós lánca

Pl.: \(y \lor \neg z, \; x \lor y\)

Diszjunktív normálforma (DNF): elemi konjunkciók diszjunkciós lánca

Pl.: \((x \land y \land z) \lor (\neg x \land y)\)

Konjunktív normálforma (KNF): elemi diszjunkciók konjunkciós lánca

Pl.: \((x \lor y) \land \neg x\)

\(x \land y \land z\)

DNF: \((p \land q \land r) \lor (\neg p \land q \land r) \lor (\neg p \land q \land \neg r)\)

KNF: \((\neg p \lor \neg q \lor p) \land (\neg p \lor q \lor \neg r) \land (\neg p \lor r)\)

Elemi diszjunkciók: klózok

Majd leírom

TODO