Beazonosítása logikai funkciók - studopediya
Azonos logikai funkciók azok, amelyek az azonos PDNF azaz ugyanazt az igazságot asztalra. Ezért annak eldöntése során a logikai funkciókat kell építeni, vagy az igazság táblázat PDNF kapunk. Táblázat vagy PDNF képest és a következtetést az identitás funkciókat.
Azonos igaz (tavtalogiyami) nevű logikai formulák, amelyek igazak minden változó készletek. Azonos hamis (ellentmondások) nevezzük logikai formulák hamis az összes változó készletek.
7. példa személyazonosságát ellenőrzi a logikai funkciók:
A. egyszerűsítése a függvény F.
Alkalmazzák a törvény a tagadás és szaporodnak a konzolok, azaz .
A második konzol összefüggésben és összeragadnak, így megkapjuk:
Részben elnyeli összefüggésben. amely:
Az F funkció került rögzítésre PDNF, mert tartalmazza a kötőszó azonos értékű, és ezek közé tartoznak az összes változót, amelyektől függ.
B. átalakítása az f függvény.
. Az f függvény is rögzítik PDNF.
Mivel PDNF funkciók F és f nem ugyanaz, ezek nem azonosak.
V. Conversion funkció P.
. Kaptunk PDNF P. funkció
F és P funkciói azonosak, csakúgy, mint az azonos PDNF.
8. példa személyazonosságát ellenőrzi a logikai függvények F és f.
Elfogadja az egy érték a készletek 2, 3.
A. egyszerűsítése a függvény F.
Ez vonatkozik a törvény a tagadás :.
A második konzol elnyeli változó összefüggésben. ami a következő eredményt :.
A második konzol akkor használatos jellemzően konvolúciós, majd megszorozzuk zárójelben:
B. előállítás PDNF funkció F.
B. előállítás PDNF f függvény.
Mivel az f függvény veszi az egyes értékek a készlet 2. és 3., akkor azt a formát PDNF.
F és F azonos funkcióval PDNF, ezért ezek azonosak.
9. példa személyazonosságát ellenőrzi a logikai funkciók:
Az f függvény az alábbi minimális formájában :.
A. egyszerűsítése funkciók F:
- kiküszöbölésére redundáns kötőszók a csoport;
- kiküszöbölésére redundáns kötőszavak yz a csoportból.
Az eredmény :.
Az egyszerűsített formája az F funkció és minimális formájában az f függvény nem esnek egybe. Ez azonban nem jelenti azt, hogy a funkciók nem azonosak. Mert végső kimeneti kap PDNF mindkét funkciót.
B. előállítás PDNF funkció F.
Eltávolítása után ismétlődő kötőszavak kap:
B. előállítás PDNF f függvény.
F és F azonos funkcióval PDNF és fogadó egység értékeket ugyanarra a készletek 0, 1, 2, 3, 4, 5, 6, 7. Ezek a funkciók azonosak. Mivel minimális formák nem ugyanazt a funkciót, arra lehet következtetni, hogy a zsákutcából formában érkezett az F függvény.
10. példa Három készlet A =, B =, C = beállított átviteli elemek. Határozza meg több D, amely egy oldat D = (A B) C.
Construct a beállított D = (A B) C. Műveletek lépésekben.
A. A B = =, mivel nincs közös eleme.
B. B (A B) C = =. t. k. nincs közös eleme van.
11. példa .. Határozza meg, milyen értékek x, y, p a következő kifejezés igaz:
(P és (x-1
A. letette eljárásokat és meg fogja határozni az értékét minden egyes sor logikus kifejezéseket.
(P és (x-1
B. képezik az igazság táblázatot minden egyes válasz opció.