Texto para a questão.

A lógica sentencial trata das proposições que podem ser julgadas como verdadeiras (V) ou falsas (F). Suponha que letras maiúsculas do alfabeto (A, B, C etc.) representem proposições básicas. Proposições compostas são formadas a partir de proposições pré-construídas. Assim, as seguintes estruturas são proposições compostas: “A e B” (denotada por A!$ Λ !$ B), que é V se e somente se A é V e B é V; “A ou B” (denotada por A!$ ∨ !$ B), que é F se e somente se A é F e B é F; “não A” (denotada por !$ ¬ !$ A), que é F se A é V, e é V se A é F; “se A então B” (denotada por A !$ \rightarrow !$ B), que é F se e somente se A é V e B é F. Para exemplificar, se A, B e C são proposições, então as formas !$ ¬ !$A!$ ∨ !$B, (A!$ ∨ !$ B)!$ Λ !$C, (!$ ¬ !$A!$ Λ !$!$ ¬ !$ B)!$ ∨ !$C, B !$ \rightarrow !$ (A!$ Λ !$ C) são proposições.

Considere que P seja uma proposição composta em que ocorrem apenas as proposições básicas A, B e C e os símbolos !$ ¬ !$, !$ ∨ !$, !$ Λ !$, e que P seja V se e somente se A, B e C tiverem as valorações V e F mostradas na tabela ao lado.

A expressão correta para a proposição P, para todas as valorações apresentadas das três proposições básicas é