Question

Proposições na forma (¬(A ˄ (B v C))) v (A ˄ (B v C)) têm somente valores lógicos V, para quaisquer que sejam os valores lógicos de A, B e C?

Answer 1

Resposta:

SIM

Explicação:

A B C (∼(A ∧(B ∨ C))) ∨ (A ∧ (B ∨ C))

1 1 1 1

1 1 0 1

1 0 1 1

0 1 1 1

0 0 1 1

0 1 0 1

1 0 0 1

0 0 0 1