Binair beslissingsdiagram

Binair beslissingsdiagram In de informatica is een binair beslissingsdiagram (Engels: binary decision diagram, BDD) een datastructuur waarmee een booleaanse functie gerepresenteerd kan worden.

7 relaties: BDD, Beslissingsboom, Booleaanse functie, Vervulbaarheid, Vervulbaarheidsprobleem, Waarheidstabel, Waarheidstabellen bij de unaire en binaire booleaanse operaties.

BDD

* Binary decision diagram, een binair beslissingsdiagram.

Nieuw!!: Binair beslissingsdiagram en BDD · Bekijk meer »

Beslissingsboom voor het wel of niet spelen, en het aantal keren uit 14 dat elk geval optrad. Een beslissingsboom, beslisboom of alternatievenschema is een boomstructuur voor de weergave van de alternatieven en keuzen in een besluitvormingsproces, en is een techniek uit de besliskunde.

Nieuw!!: Binair beslissingsdiagram en Beslissingsboom · Bekijk meer »

Booleaanse functie

Een booleaanse waarde of booleaanse constante is een van de twee waarden "waar" (vaak gepresenteerd door het getal 1) en "onwaar" (vaak gepresenteerd door het getal 0).

Nieuw!!: Binair beslissingsdiagram en Booleaanse functie · Bekijk meer »

Vervulbaarheid

In de klassieke propositielogica is een propositie vervulbaar als er een toekenning van waarheidswaardes aan de atomaire formules van die propositie bestaat zodat de propositie waar is.

Nieuw!!: Binair beslissingsdiagram en Vervulbaarheid · Bekijk meer »

Vervulbaarheidsprobleem

In de complexiteitstheorie verwijst het vervulbaarheidsprobleem (ook bekend als SAT, van het Engelse satisfiability) naar het bepalen of een logische propositie vervuld kan worden; een propositie kan vervuld worden als er een toekenning van waar of onwaar aan de atomaire formules bestaat zodanig dat de gehele propositie waar is.

Nieuw!!: Binair beslissingsdiagram en Vervulbaarheidsprobleem · Bekijk meer »

Waarheidstabel

Een waarheidstabel of waarheidstafel is een wiskundige tabel die in het begin van de 20e eeuw werd ontwikkeld door Emil Leon Post.

Nieuw!!: Binair beslissingsdiagram en Waarheidstabel · Bekijk meer »

Waarheidstabellen bij de unaire en binaire booleaanse operaties

Deze pagina bevat de waarheidstabellen bij de unaire en binaire booleaanse operaties.

Nieuw!!: Binair beslissingsdiagram en Waarheidstabellen bij de unaire en binaire booleaanse operaties · Bekijk meer »

Richt hier:

OBDD, ROBDD.

Unionpedia is een concept map of een semantisch netwerk organiseerde als een encyclopedie of een woordenboek. Het geeft een korte omschrijving van elk concept en haar relaties.

Dit is een enorme online mentale kaart die dient als basis voor concept diagrammen. Het is gratis te gebruiken en elk artikel of document kan worden gedownload. Het is een hulpmiddel, resource of verwijzing voor studie, onderzoek, onderwijs, het leren of onderwijs, die kunnen worden gebruikt door docenten, onderwijzers, leerlingen of studenten; voor de academische wereld: voor school, primaire, secundaire, middelbare school, midden, universiteit, technische opleiding, universiteit, bachelor, master of doctoraal niveau; for papers, rapporten, projecten, ideeën, documentatie, enquêtes, samenvattingen, of scriptie. Hier is de definitie, uitleg, beschrijving, of de betekenis van elke significante waarop u informatie nodig, en een lijst van de bijbehorende concepten als een verklarende woordenlijst. Verkrijgbaar in het Nederlands, Engels, Spaans, Portugees, Japans, Chinees, Frans, Duits, Italiaans, Pools, Russisch, Arabisch, Hindi, Zweeds, Oekraïens, Hongaars, Catalaans, Tsjechisch, Hebreeuws, Deens, Fins, Indonesisch, Noors, Roemeense, Turks, Vietnamees, Koreaans, Thais, Grieks, Bulgaars, Kroatisch, Slowaaks, Litouws, Filipino, Lets, Ests en Sloveens. Meer talen binnenkort.

Alle informatie werd gehaald uit Wikipedia, en het is beschikbaar onder de licentie Creative Commons Naamsvermelding/Gelijk delen.

Unionpedia wordt niet onderschreven door of gelieerd aan de Wikimedia Foundation.

Google Play, Android en het logo van Google Play zijn handelsmerken van Google Inc.

Privacybeleid