Бинарная диаграмма решений: различия между версиями

На рисунке слева изображено бинарное [[дерево принятия решений]] (без применения правил сокращения), соответствующее приведенной на этом же рисунке [[Таблица истинности|таблице истинности]] для булевой функции <math>f(x_1, x_2, x_3)</math>. Для заданных входных значений <math>x_1</math>, <math>x_2</math>, <math>x_3</math> можно определить значение булевой функции, двигаясь по дереву от корневого узла дерева к терминальным узлам, выбирая направление перехода из узла <math>x_i</math> в зависимости от входного значения <math>x_i</math>. Пунктирными линиями на рисунке изображены переходы к младшему потомку, а непрерывными линиями изображены переходы к старшему потомку. Например, если заданы входные значения (<math>x_1 = 0</math>, <math>x_2 = 1</math>, <math>x_3 = 1</math>), то из корневого узла <math>x_1</math> необходимо перейти по пунктирной линии влево (так как значение <math>x_1</math> равно 0), после этого необходимо перейти по непрерывным линиям вправо (так как значения <math>x_2</math> и <math>x_3</math> равны 1). В результате мы окажемся в 1-терминальном узле, т.е. значение <math>f(x1x_1 = 0, x2x_2 = 1, x3x_3 = 1)</math> равно 1.