(CESPE SEFAZ ES/2013) Considerando todas as possíveis valorações V ou F das proposições simples P e Q, a quantidade de valorações V na tabela-verdade da proposição (P^Q)v(~Q)->[Pv(~Q)] é igual
