Creating a circuit from a Truth Table

[SirClickALot]

Could I please clarify something?

When I have filled out a truth table such as the one illustrated here...

If I then ask Digital to create the Create > Circuit Variants > Use Gate with at most 2 inputs (for example), does it routinely create the simplified solution as seen in the K-Map or does does it create the UN-simplified circuit.

I'm sorry if that's a bit of a dim question but I am trying to create a series of introductory school-level student challenges and I want to generate UN-simplified circuits, then use its ability to K-Map and produce the simplified version.

Thanks

[hneemann]

The simulator minimizes the table with Quine&McCluskey, generates the DNF and replaces all gates with more than the desired number of inputs with a combination of gates with a lower number of inputs.

However, an expression can be entered in the Analysis->Expression menu, which is translated directly into a circuit without any simplification.