Na lógica sentenciai clássica, dada uma linguagem L que contém as proposições p, q e r, quantas linhas deve ter a tabela verdade da proposição [(¬p ∧ ¬q) ∨ (¬p ∧ r)] ↔ r?