TABELA A

¬(A∧B)  

F

V

V

V

¬A∧B

F

F

V

F

¬(¬A∧ B)  

V

V

F

V

¬(A∧  ¬B)

V

F

V

V

Explicação:

¬(A∧B)

"∧" conectivo "e" (conjunção) A e B tem que ser verdadeiro para ser verdade, porém antes do parênteses tu tem uma negação, então todo resultado dentro do parênteses muda, se for V vira F e se for F vira V.

¬A∧B

Baste trocar o resultado do A  como temos o conectivo de conjunção ambas devem ser verdadeira para ser verdade.

¬(¬A∧ B)

Aqui resolução básica de precedência, primeiro resolva o que está em parênteses, negue o A e faça conjunção com B, depois basta trocar o resultado do que ficou em parênteses.

¬(A∧  ¬B)

Aqui resolução básica de precedência, primeiro resolva o que está em parênteses, negue o B e faça conjunção com A, depois basta trocar o resultado do que ficou em parênteses.

TABELA B

raphaelmms avatar

A ∧ (B ⟶A)

V

V

F

V

EXPLICAÇÃO:

⟶ conectivo se então (condicional) aqui só é falso se o antecessor for verdadeiro.

Resolva primeiro o que esta em parênteses depois conecte com o "E".