Leia as proposições de entrada em cada linha e resolva as operações, começando pelos parênteses e pelas colunas intermediárias. V significa verdadeiro; F significa falso. Uma célula em branco é diferente de uma resposta F.

A ordem é a mesma do gerador: começa com todas as entradas falsas e a variável da direita alterna mais rápido. Duas proposições exigem 2² = 4 linhas; três exigem 2³ = 8. Uma proposição tem duas linhas.

¬ é negação; ∧ é e; ∨ é ou inclusivo; → é se… então; ↔ é se e somente se. A negação inverte, a conjunção exige ambos verdadeiros e a disjunção exige pelo menos um verdadeiro.

A condicional é falsa apenas em V → F. A bicondicional é verdadeira quando os valores coincidem. O catálogo mostra p, q e r; internamente reutiliza o avaliador do gerador com P, Q e R.

Para as entradas (p,q) = (F,F), (F,V), (V,F), (V,V), a conjunção p ∧ q produz F, F, F, V. Negando essa coluna, ¬(p ∧ q) produz V, V, V, F. Este exemplo é separado dos desafios do painel.

Verificar tabela preserva todas as respostas e identifica células corretas, incorretas e vazias por texto, não só por cor. Corrija o que for necessário antes de avançar. Cada célula com resposta errada aumenta os erros uma única vez por tentativa; verificações idênticas não repetem a contagem.

Revelar a resolução conta como ajuda, não como acerto sem ajuda. Repetir limpa a tentativa atual, mantendo o exercício. Próximo exercício segue a ordem fixa do catálogo. Os contadores são desta sessão, sem login ou armazenamento permanente.