Logikai kifejezések döntési diagramként történő implicit kiértékelése