truth-table-to-boolean-expression This was done as a part of an assignment of the course "Logic in Computer Science" in my second year of UG studies.

Down in the recursion stack, once a variable is reach, the function returns a boolean vector that contains the truth table values for that variable. This is the boot-strap condition. Once all the ...