As regras de operação de um sistema automatizado são representadas pelas proposições p, q e r. Para analisar o comportamento lógico dessas regras, um analista modelou a proposição composta [(p → q) ^ (q v r)] → (p → r) e construiu sua tabela-verdade completa. Assinale a alternativa CORRETA para o número de linhas em que o antecedente (p → q) ^ (q v r) é verdadeiro e o consequente p → r é falso.