Na lógica sentencial 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?