Bináris döntési diagramok (ROBDD) forrásának megtekintése

{{GlobalTemplate|Infoalap|FormModVizsgaRobdd}}

__TOC__

==Elmélet==
* Milyen előnyt jelent a logikai függvények bináris döntési diagramok (ROBDD) alakjában történő ábrázolása a hagyományos Karnaugh táblás ábrázolásmóddal szemben?
** ROBDD tömörebb, csökkentett állapottér. Azaz: egyszerűbb -> kevesebb erőforrás igény.
* Mit jelent és milyen feltételek mellett áll fenn, hogy egy (redukált rendezett) bináris döntési diagram (azaz ROBDD) egy logikai függvény kanonikus egyértelmű reprezentációja?
** Adott változó sorrend mellett.
==Bool algebra ismétlés==
* Alaptulajdonságok:
** a * a = a
** a + a = a
** a + 1 = 1
** a * 0 = 0
** ! 0 = 1 
** ! 1 = 0
** a * ( ! a ) = 0
** a + ( ! a ) = 1
** !! a = a
* Asszociativitás
** a + ( b + c ) = ( a + b ) + c
** a * ( b * c ) = ( a * b ) * c
* Kommutativitás
** a + b = b + a
** a * b = b * a
* Disztributivitás
** a * ( b + c ) = (a * b) + (a * c)
** a + ( b * c ) = (a + b) * (a + c)
* De Morgan
** (a + b) = ! ( (! a) * ( ! b ))
* Elnyelési tulajdonság
** a + ( a * b ) = a
** a * ( a + b ) = a
* Egyéb még hasznos ötlet
** c + ( ( ! c) * a * b) = c + a * b
** a->b = ! a + b		

==Igaz/Hamis==
==Példák==

-- [[AdamO|adamo]] - 2006.06.10.


[[Category:Infoalap]]