Title | Computacion - Lecture notes tablas |
---|---|
Course | Web Programming |
Institution | University of San Francisco |
Pages | 4 |
File Size | 105.9 KB |
File Type | |
Total Downloads | 83 |
Total Views | 142 |
tablas de verdad...
(p→p)→q p q V V V F F V F F Contingencia
(p→p) V V F F
(p→p)→q V F V V
(p'→p)→q' p V V F F Contingencia
q
P´
q´
(p'→p)
V F V F
F F V V
F V F V
V V F V
(p'→p)→q ' F V V V
(p↔q)↔q' p
q
q´
V V V F F V F F Contingencia
F V F V
(p↔q ) V F F V
(p↔q)↔q' F F V V
(q↔p')→p p q V V V F F V F F Contingencia
P´ F F V V
(q↔p') F V V F
(q↔p')→p F V F V
((q↔r)→p') ↔ q' p
q
V V V V V F V F F V F V F F F F Contingencia
r
P´
q´
(q↔r)
V F V F V F V F
F F F F V V V v
F F V V F F V V
V F F V V F F V
((q↔r)→p' ) F V V F V F F V
((q↔r)→p') ↔ q' V F V F F V F V
((q↔r)' → (p'vr)) ^ q' p
q
r
P´
q´
r´
(q↔r)
V V V V V F V F V V F F F V V F V F F F V F F F Contingencia
F F F F V V V V
F F V V F F V V
F V F V F V F V
V F F V V F F V
(q↔r) ´ F V V F F V V F
(p'vr)
((q↔r)' → (p'vr))
V F V F V V V V
V F V V V V V V
((q↔r)' → (p'vr)) ^ q' F F V V F F V V
((r→q) v (p^r')) ^ (q↔p') p
q
V V V V V F V F F V F V F F F F Contingencia
r
P´
r´
V F V F V F V F
F F F F V V V V
F V F V F V F V
(r→q ) V V F V V V F V
(p^r' ) F V F V F F F F
(q↔p' ) F F V V V V F F
((r→q) v (p^r')) V V F V V V F V
((r→q) v (p^r')) ^ (q↔p') F F F V V V F F
((r→q) v (p^r')) ^ ((q↔p') v (q'→r)) p
q
r
P´
q´
r´
V V V V V F V F V V F F F V V F V F F F V F F f Contingencia
F F F F V V V V
F F V V F F V v
F V F V F V F V
(r→q ) V V F V V V F V
(p^r' ) F V F V F F F F
((r→q) v (p^r'))
(q↔p')
(q'→r)
V V F V V V F V
F F V V V V F F
V V V F V V V F
((q↔p') v (q'→r)) V V V V V V V F
((r→q) v (p^r')) ^ ((q↔p') v (q'→r)) V V F V V V F F...