Considere o enunciado: "Se um número é divisível por nove...

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 é:

A) (p   q)  r

B)

~ (p  q)  r

C) (p  q)   ~ r

D) (p  q)  r