Revision history [back]

The tree is called the "truth tree" or "satisfiability tree".

Copyright QStack.ai, 2010-2023. Content on this site is licensed under the Creative Commons Attribution Share Alike 3.0 license.