Studijní materiály

Zpět

Hromadně přidat materiály

Logika tahak

SZ7BP_DTLO - Logika

Hodnocení materiálu:

Zjednodušená ukázka:

Stáhnout celý tento materiál

Konjunkce
p q p^q
1 1 1
1 0 0
0 1 0
0 0 0
Disjunkce
p q pvq
1 1 1
1 0 1
0 1 1
0 0 0
Implikace
p q p->q
1 1 1
1 0 0
0 1 1
0 0 1
Ekvivalence
p q pq
1 1 1
1 0 0
0 1 0
0 0 1

Pravidlo pro sestrojení UDF: Nahraď všechny výskyty pravdivostní hodnoty 1 zadané pravdivostní tabulky hledané formule F elementárními konjunkcemi K1,K2,…Km proměnných p1,p2,…pn nebo jejich negací tak, aby tyto elmenetární konjunkce nabyly pravdivostní hodnoty 1. Spoj získané konjunkce pomocí funktoru disjunkce do formule K1vK2v…Km Získaný výraz je hledanou formulí F a nazývá se uplná disjunktní forma.
Pravidlo pro sestrojení U

Stáhnout celý tento materiál

1 2 3

Další

Vloženo: 24.04.2009

Velikost: 36,50 kB

Stáhnout celý tento materiál

Komentáře

Tento materiál neobsahuje žádné komentáře.

Mohlo by tě zajímat:

Skupina předmětu SZ7BP_DTLO - Logika
Reference vyučujících předmětu SZ7BP_DTLO - Logika

Podobné materiály