tõesuspuu, loogikas struktuur, mis esitab esialgsete valemite dekompositsiooni lihtsateks valemiteks.

VE, 2006