Simple implementation of a PLTree Solver for complex trees with nodes AND, OR, IMPLIES, NOT and constants A-Z, with or without a designated Boolean value (True, False) ...