Considere o enunciado: "Se um número é divisível por nove, então a soma dos valores absolutos de seus algarismos é um múltiplo de nove, logo o resto da divisão de 384.219.540 por nove é zero".

A representação lógica que permite construir a tabela-verdade que corresponde a esse enunciado é: