Převod binárních rozhodovacích diagramů (BBD) na součet součinů (SOP) logických proměnných při rozhodování