Truth Table Construction: Step-by-Step Decomposition of a Logical Expression based on a modified version of Dijkstra's shunting yard algorithm ...