Observe!
 

Observe que cada variável ou cada proposição pode assumir apenas os dois valores lógicos (0, 1) exclusivamente, permitindo percorrer, também exclusivamente apenas um ramo da árvore. Não pode haver dois ramos como seqüências iguais.