Класична задача дискретної математики — мінімізація диз'юнктивної нормальної форми у формалізмі реляційних схем