Professional Documents
Culture Documents
Cal Culo Propos
Cal Culo Propos
Sede Manizales
¬q ∧ r → s ∨ t
simbolice:
(a) Un condicional
i. (¬q ∧ r) → (s ∨ t)
(b) Una disyunción.
i. (¬q ∧ (r → s)) ∨ t
(c) La negación de una disyunción
i. ¬((q ∧ (r → s)) ∨ t)
1
(d) Una conjunción
i. ¬q ∧ ((r → s) ∨ t)
(e) Un Condicional cuyo antecedente es la negación de una conjunción
i. ¬(q ∧ r) → (s ∨ t)
(¬q ∧ r) → (s ∨p) =0
1 0 0
¬q ∧ r =1
¬q = 0 r=1
0 1 1
s ∨ p =0
s=0 p=0
0 0 0
(a) (q ∨ r) ∧ p.
q ∨ r ∧ p
0 ∨ 1 ∧ 0
(b) (q ∧ s) → p.
(c) (q ∨ s) → p.
(d) (¬p ∧ q) → (r ∧ s).
(e) ¬(r → s) ∧ (p ∧ q).
(f) (p ∨ s) ∧ r.
(g) ¬((r ∧ p) ∨ q) → (s ∨ p)