Considerando que os símbolos V, ~, →, ↔ e Λ representem as operações lógicas “ou”, “não”, “condicional”, “bicondicional” e “e”, respectivamente, julgue os itens a seguir, acerca da proposição composta P: (pV~q)↔(~pΛr), em que p, q e r são proposições distintas.
O número de linhas da tabela-verdade de P é igual a 16.