{"id":338,"date":"2016-12-19T16:42:00","date_gmt":"2016-12-19T16:42:00","guid":{"rendered":"https:\/\/gtiuebung.de\/?page_id=338"},"modified":"2016-12-26T16:54:47","modified_gmt":"2016-12-26T16:54:47","slug":"bdd","status":"publish","type":"page","link":"https:\/\/gtiuebung.de\/?page_id=338","title":{"rendered":"BDD"},"content":{"rendered":"<p><label>Auf dieser Seite k\u00f6nnen Binary Decision Diagrams (kurz BDD) aus einer Formel erstellt werden. Die BDDs sind leider nicht besonders sch\u00f6n, da ich noch keine dynamisch, sch\u00f6ne Umordnungsfunktion geschrieben habe &#8211; die Elemente k\u00f6nnen jedoch per Drag-And-Drop verschoben werden.<br \/>\nDie logischen Funktionen k\u00f6nnen wie auf der Seite <a href=\"https:\/\/gtiuebung.de\/?page_id=280\">Gatter<\/a> eingegeben werden. Diese werden anschlie\u00dfend in eine DMF gebracht und als BDD dargestellt.<\/label><br \/>\n<label>Formel:<\/label><input id=\"formula\" type=\"text\"\/><button onclick=\"parseExpression()\">OK<\/button><label id=\"correctFormula\"><\/label><\/p>\n<div><label>Reihenfolge:<\/label><\/p>\n<div id=\"variableList\"><\/div>\n<p><input id=\"literalOrder\" type=\"text\" style=\"display:none;\"\/><\/div>\n<div id=\"BDD-Area\"><\/div>\n<p><label>Beispiele aus der \u00dcbung:<\/p>\n<pre>\u00dcbung 5: x^y (Reihenfolge: xy), (x+y)*z (Reihenfolge: zxy), xy-z+-(x+-y+z) (Reihenfolge: zyx)\r\n\u00dcbung 6: -a-c+b+-c-d+adc (Reihenfolge: bcad)\r\nMiniklausur: (-x_2x_1)+(x_1-x_0) (Reihenfolge: x_2x_1x_0)<\/pre>\n<p><\/label><br \/>\n<label>Weitere Beispiele zum \u00dcben:<\/p>\n<pre>abc+-a-c-b+c-a (Reihenfolge: acb,cab,...), a+-b+ac (Reihenfolge: abc), (x+y)*z+f, a_{wasistdas}+a_2b, ...<\/pre>\n<p><\/label><br \/>\n<label>Funktionstabelle:<\/label><\/p>\n<div id=\"functionTable\"><\/div>\n<p><label>Minimierung: <\/label><span id=\"Primimplikanten\"><\/span><\/p>\n<p><label>DMF: <\/label><span id=\"DMF\"><\/span><\/p>\n<p><label>Petrick: <\/label><span id=\"petrickAusdruck\"><\/span><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Auf dieser Seite k\u00f6nnen Binary Decision Diagrams (kurz BDD) aus einer Formel erstellt werden. Die BDDs sind leider nicht besonders sch\u00f6n, da ich noch keine dynamisch, sch\u00f6ne Umordnungsfunktion geschrieben habe &#8211; die Elemente k\u00f6nnen jedoch per Drag-And-Drop verschoben werden. Die logischen Funktionen k\u00f6nnen wie auf der Seite Gatter eingegeben werden.\u2026<\/p>\n<p> <a class=\"continue-reading-link\" href=\"https:\/\/gtiuebung.de\/?page_id=338\"><span>Weiter lesen<\/span><i class=\"crycon-right-dir\"><\/i><\/a> <\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"templates\/template-onecolumn.php","meta":[],"_links":{"self":[{"href":"https:\/\/gtiuebung.de\/index.php?rest_route=\/wp\/v2\/pages\/338"}],"collection":[{"href":"https:\/\/gtiuebung.de\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/gtiuebung.de\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/gtiuebung.de\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/gtiuebung.de\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=338"}],"version-history":[{"count":41,"href":"https:\/\/gtiuebung.de\/index.php?rest_route=\/wp\/v2\/pages\/338\/revisions"}],"predecessor-version":[{"id":393,"href":"https:\/\/gtiuebung.de\/index.php?rest_route=\/wp\/v2\/pages\/338\/revisions\/393"}],"wp:attachment":[{"href":"https:\/\/gtiuebung.de\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=338"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}