1.

( P Q ) P
2 .(PQ) v P ley condicional simple en 1
3. ( P v Q)v P ley de morgan en 2
4. P v Q v P ley asociativa en 3
5. (P v P) v Q asociativa en 4
6. V v Q complemento en 5
V identidad en 6
1.(P v Q ) P
2. (P v Q) v P Condicional simple en 1
3. (P Q) v P Ley de Morgan en 2
4. (P v P) Q Asociativa en 3
5. V Q Complemento en 4
V Identidad en 5
1.Q ( P Q)
2. Q (P v Q) Condicional simple en 1
3. Q v (P v Q) Condicional simple en 2
4. (Q v Q) v P Asociativa en 3
5. V v P Complemento en 4
V Identidad en 5
1.P Q Q P
2. P Q Hipotesis
3. P v Q Condicional simple en 2
4. Q v P Conmutativa en 3
5. Q P Condicional simple en 4


1.( P Q) R ( P R) v ( Q R)
2. .( P Q) R Hipotesis
3. ( P Q) v R Condicional simple en 2
4. ( P v Q) v R Ley de Morgan en 3
5. ( P v R) v ( Q v R) Distributiva en 4
6. ( P R) v ( Q R) Condicional simple en 5

1.{(P v Q) ( P S ) ( Q R) } ( S v R)
2. { ( P v Q) ( P S) ( Q R) } Hipotesis
3. (P v Q) (P v S) ( Q v R) Condicional simple en 2
4. P v Q P v S Q v R Asociativa en 3
5. ( P P) v ( Q Q) v ( S v R) Asociativa en 4
6. V v V v ( S v R) Complemento en 5
7. ( S v R) ( S v R) Identidad en 6
8. V V
9. V

1.{ ( P Q) P } Q
2. ( P v Q) P } Q Condicional simple en 1
3. P v Q P Asociativa en 2
4. ( P P ) v Q Asociativa en 3
5. V v Q Complemento en 4
6. Q Q Identidad en 5
7. V


1.{ ( P Q) Q } P
2. ( P v Q ) Q Condicional simple en 1
3. P v Q Q Asociativa en 2
4. P v ( Q Q ) Asociativa en 3
5. P v V Complemento en 4
6. P P Identidad en 5
7. V

1.{ ( P Q ) ( Q R ) } ( P R )
2. ( P v Q ) ( Q v R ) Condicional simple en 1
3. P v Q Q v R
4. ( P v R ) v ( Q Q ) Asociativa en 3
5. ( P R ) v V Condicional simple y complemento en 4
6. ( P R ) ( P R ) Identidad en 5
7. V
SIMPLIFICA
1.( P Q ) v ( P Q ) v ( P Q)
2. ( P Q v P ) ( P Q v Q ) v ( P Q ) Distributiva y ley de Morgan en 1
3. { ( P v P) Q } { P ( Q v Q) } v ( P Q ) Asociativa en 2
4. ( P Q ) ( P V ) v ( P Q ) Idempotencia en 3
5. ( P Q ) P v ( P Q ) Identidad en 4
6. ( P Q ) v ( P Q ) Absorcion en 5
7. V Complemento en 6



1.( P R) v ( P Q R ) v ( P R)
2. ( P R ) v ( ( P R ) Q ) v ( P R ) Asociativa en 1
3. . ( P R) v{ ( P R) v ( P R )} Q Asociativa en 3
4. . ( P R) v ( P R ) Q Idempotencia en 3
5. P R v P R Q
6. ( P v P ) ( R R ) Q Asociativa en 5
7. P V Q Idempotencia y complemento en 6
8. (P Q) Identidad en 7

1. { ( P v Q ) v ( P Q ) } v P
2. { ( P v Q ) ( P Q ) } v P Ley de Morgan en 1
3. { ( P v Q ) ( P Q ) } v P Complemento en 2
4. { ( P v Q ) P v Q } v P Ley de Morgan en 3
5. { ( P v Q ) ( P v Q ) } v P Complemento en 4
6. ( P v Q ) v P Idempotencia en 5
7. ( P v P ) v Q Asociativa en 6
8. V v Q Complemento en 7
9. Q Identidad en 8

1.{ (P v Q) ( Q v R ) } v (P v R)
2. { ( P v Q ) v ( Q v R ) } v ( P v R ) Ley de Morgan en 1
3. { ( P Q ) v ( Q R ) } v ( P v R ) Ley de Morgan en 2
4. { ( P Q ) v ( Q R ) } v ( P v R ) Complemento en 3
5. {[ (P Q) v Q ] [ ( P Q) v R] } v ( P v R ) Distributiva en 4
6. {[ P ( Q v Q) ] [ ( P Q) v R] } v ( P v R ) Asociativa en 5
7. { ( P V ) [ ( P Q) v R] } v ( P v R ) Complemento en 6
8. { P [ ( P Q ) v R ] } v ( P v R ) Identidad y asociativa en 7
9. { P ( P Q ) v ( P R ) } v ( P v R ) Distributiva en 8
10. { ( P P ) Q v ( P R )} v ( P v R ) Asociativa en 9
11. { ( P Q ) v ( P R ) } v ( P v R ) Idempotencia en 10
12. { [ ( P Q ) v P ] [ ( P Q ) v R ] } v ( P v R ) Distributiva en 11
13. { ( P v P ) Q ( P Q ) v R } v ( P v R ) Asociativa en 12
14. { ( P Q) ( P Q) v R } v ( P v R ) Idempotencia en 13
15. {( P Q ) v R } v ( P v R ) Absorcion en 14
16. {( P v R) ( Q v R) } v ( P v R ) Distributiva en 15
17. {(P v R) v (P v R ) } {(Q v R) v ( P v R) Distributiva en 16
18.(P v P) v ( R v R) } {( Q v P ) v ( Rv R )} Asociativa en 17
19. ( P v R) ( Q P ) v R