https://vik.wiki/index.php?action=history&feed=atom&title=Bin%C3%A1ris_d%C3%B6nt%C3%A9si_diagramok_%28ROBDD%29 2026-05-11T10:55:50Z Az oldal laptörténete a wikiben MediaWiki 1.43.8 https://vik.wiki/index.php?title=Bin%C3%A1ris_d%C3%B6nt%C3%A9si_diagramok_(ROBDD)&diff=137317&oldid=prev 2012-10-21T19:58:27Z

<p>Új oldal, tartalma: „{{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ö…”</p> <p><b>Új lap</b></p><div>{{GlobalTemplate|Infoalap|FormModVizsgaRobdd}}<br /> <br /> __TOC__<br /> <br /> ==Elmélet==<br /> * 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?<br /> ** ROBDD tömörebb, csökkentett állapottér. Azaz: egyszerűbb -&gt; kevesebb erőforrás igény.<br /> * 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?<br /> ** Adott változó sorrend mellett.<br /> ==Bool algebra ismétlés==<br /> * Alaptulajdonságok:<br /> ** a * a = a<br /> ** a + a = a<br /> ** a + 1 = 1<br /> ** a * 0 = 0<br /> ** ! 0 = 1 <br /> ** ! 1 = 0<br /> ** a * ( ! a ) = 0<br /> ** a + ( ! a ) = 1<br /> ** !! a = a<br /> * Asszociativitás<br /> ** a + ( b + c ) = ( a + b ) + c<br /> ** a * ( b * c ) = ( a * b ) * c<br /> * Kommutativitás<br /> ** a + b = b + a<br /> ** a * b = b * a<br /> * Disztributivitás<br /> ** a * ( b + c ) = (a * b) + (a * c)<br /> ** a + ( b * c ) = (a + b) * (a + c)<br /> * De Morgan<br /> ** (a + b) = ! ( (! a) * ( ! b ))<br /> * Elnyelési tulajdonság<br /> ** a + ( a * b ) = a<br /> ** a * ( a + b ) = a<br /> * Egyéb még hasznos ötlet<br /> ** c + ( ( ! c) * a * b) = c + a * b<br /> ** a-&gt;b = ! a + b <br /> <br /> ==Igaz/Hamis==<br /> ==Példák==<br /> <br /> -- [[AdamO|adamo]] - 2006.06.10.<br /> <br /> <br /> [[Category:Infoalap]]</div>

Unknown user