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 é:
~ (p q) r
{TITLE}
{CONTENT}
{TITLE}
Aguarde, enviando solicitação...