Testing logic formulas, using Rasiowa-Sikorski decinoisition tree