INSTITUTO FEDERAL SUL-RIO-GRANDENSE

Curso Técnico em Informática

Disciplina: Algoritmos e Lógica de Programação Ano: 2018/1o. semestre
Prof.: Alex

Questão 1. Construa a tabela-verdade para cada fórmula a seguir e identifique se a fórmula é uma tautolo-
gia, uma contradição ou uma contingência.
Ex: (A ∧ B) → ¬A

A B ¬A A∧B A ∧ B → ¬A
V V F V F
V F F F V
F V V F V
F F V F V

a) (A ∨ ¬A) → (B ∧ ¬B)
b) ¬((A ∧ ¬B) → (¬C))
c) (A → B) ↔ (¬B → ¬A)
d) (A → B) ↔ ¬A ∨ B
e) (A ∧ B) ∨ C → A ∧ (B ∨ C)
f) A ∧ ¬(¬A ∨ ¬B)
g) (A ∨ (B ∧ C)) ↔ ((A ∨ B) ∧ (A ∨ C))
h) (A → B) ↔ (B → A)
i) (A → B) → ((A ∨ C) → (B ∨ C))
j) A → (B → A)
k) ((A ∧ B) ∧ C) ↔ (A ∧ (B ∧ C))
l) A ∧ B ↔ ¬B ∨ ¬A
m) (A ∨ ¬B) ∧ ¬(A ∧ B)
n) ((A ∨ B) ∧ ¬C) → ¬A ∨ C
o) (A ∨ ¬B) → ¬(A ∨ B)
p) P ∧ Q → ¬P
q) ((A ∨ B) ∨ C) ↔ (A ∨ (B ∨ C))
r) (A ∧ (B ∨ C)) ↔ ((A ∧ B) ∨ (A ∧ C))
s) ((P ∧ Q) ∧ (R ∧ S)) → P
t) ¬ ((A → B) → ((C → ¬ B) ↔ ¬ D))
u) ¬(¬ A ∧ ¬ B) → ¬ ((A ∨ C) ↔ (B ∧ ¬ C))
v) ((A → (B → C)) → ((A → C) → (A → D)))
w) ((A ∨ B) → ¬ (C ∧ ¬ D)) → ¬((¬ A → ¬ C) ∨ (¬ B ∧ D))
x) ((A ∧ ¬ B) → (B ∨ C)) ∧ ((¬ A ∨ B) ↔ (¬ B ∧ ¬ C))
y) ((A → C) ∧ (¬ B ∨ C)) ∨ ((¬ D ∧ ¬ C) ↔ (B → ¬ D))
z) (¬((¬ A ∧ B) ↔ (¬ C ∨ ¬ D)) ∧ (E → ¬ A)) ∨ ¬(((¬ E ∨ D) → (¬ B ↔ ¬ A)) ∨ (C → A))

Página 1 de 1