1. Ferramentas podem ser utilizadas para solucionar expressões lógicas, resolvendo a validação de argumentos lógicos. Uma destas ferramentas, baseados em um método matemático, permitem validar afirmações lógicas produzidas por argumentos. Esta ferramenta é conhecida como: