truth tree

Noun

 * 1)  A variation of a truth table in which any node (representing a statement) has branches if and only if other statements (true or false) may be derived from it