Considere o enunciado: “Se um número natural é divisível por nove, e a soma dos valores absolutos de seus algarismos é um múltiplo de nove, concluímos que o resto da divisão de 212.384.219.544 por nove é zero”.
A representação lógica que permite construir a tabela-verdade que corresponde a esse enunciado é:
