There is currently no known logic gate simulator that provides a Boolean algebraic expression as an output. The discussion highlights two distinct challenges: scheduling and determining the operation of gates and sequential elements, and developing an expression for a cone of logic. Users are seeking tools that can effectively address these issues. The conversation emphasizes the complexity of these problems in logic design. Overall, the need for enhanced simulation tools that can generate Boolean expressions remains unmet.