I don't know of any software that can do that. What you are looking for is reverse engineering that circuit. Your best bet would be to take it one piece at a time. Unless someone else knows an alternative.
It's not clear what you're trying to accomplish. For example, what is the input to the software?
If you have a logic diagram with lots of inputs and various logical elements, you know the Boolean expression for the output in terms of the inputs, and you want the output truth table, it's not hard to write a script to generate the output for all possible inputs.
If that's what you're after, let me know -- it would only be a few lines of python to generate the output. I've used this technique on a number of problems and, while it's not "elegant", it generates the answer and I have confidence in the results.
