Um analista de dados está criando um sistema que requer validação lógica. Ele precisa escolher uma estrutura que apresente todas as possíveis verdades de uma expressão lógica. Qual ferramenta o analista deve utilizar para visualizar todas as possíveis combinações?