Matematicas Discretas
Matematicas Discretas
Matematicas Discretas
1)
(p˄q)→(p↔q)
P q (p˄q)
V V V
V F F
F V F
F F F
2) (p˅q)˄~(p →q)
P q (p˅q)
V V V
V F V
F V V
F F F
~˄↔→˅ 3) (p˄(p→q))→p
p q p→q
V V V
V F F
F V V
F F V
4) (∼ p ∧ ∼ q) ⇒ ∼ ( p ∨ q)
p q ∼p
V V F
V F F
F V V
F F V
[∼(p˅q)˅(p˅q)]^{p˅[q^~(p^r)]}
(p̭˄q˄r)
̬̭ ˅ (p˄~q˄r) ˅(~p˄~q˄r)
p q r
1 V V V
2 V V F
3 V F V
4 V F F
5 F V V
6 F V F
7 F F V
8 F F F
(p↔q) (p˄q)→(p↔q)
V V
V V TAUTOLOGIA
F V
V V
∼q ( p ∨ q) (∼ p ∧ ∼ q) ∼( p ∨ q) (∼ p ∧ ∼ q) ⇒ ∼ ( p ∨ q)
F V F F V
V F F V V TAUTOLOGIA
F F F V V
V F V V V