Элемент 'binary decision diagram'