Pytania oznaczone «binary-decision-diagrams»