TABLA DE VALORES

LEYES LOGICAS:
1.- ASOCIATIVIDAD: (L.AS.)
p V (q V r )↔ ( p V q ) V r

p ∧( q ∧r )↔ ( p ∧q ) ∧ r

2.- CONMUTATIVA : (L.C.)

( p V q)↔ ( q V p )

( p ∧q) ↔ ( q ∧ p )

3.- DISTRIBUIDAD:(L.D.)
p ∧( q V r) ↔ ( p ∧q ) V ( p ∧r )

p V ( q ∧r ) ↔ ( p V q ) ∧ ( pV r )

4.- ELEMENTO NEUTRO :(L.N.)

( p V F )↔ p

( p ∧V )↔ p

5.- CONDICION DE NEGACION:(C.N.)

( p V p) ↔ V

( p ∧ p) ↔ F

6.- IMPLICACION:(L.I.)
( p → q)↔ ¿)

7.- DEFINICION DE EQUIVALENCIA:(L.E.)

( p ↔ q)↔ ( p →q ) ∧ (q → p)
8.- LEYES DE IDEMPOTENCIA ): (L.ID.)
( p V p)↔ p

( p ∧ p)↔ p

9.- CONDICION DE TAUTOLOGIA :(L.T.)

( p V V )↔ V

10.- CONDICION DE ANTITAUTOLOGIA: (L.A.)

( p ∧ F) ↔ F

11.- LEYES DE ABSORCION : (L. ABS.)

p ∧( p V q)↔ p

p V ( q ∧ p)↔ p

p ∧( p V q) ↔ ( p ∧q )

p V ( q ∧ p ) ↔ ( p V q)

12.- LEYES DE MORGAN : (L.M.)

( p V q) ↔ ( p ∧ q )

( p ∧ q)↔ ( p V q )

13.- DOBLE NEGACION

( p) ↔ p
 SIMPLIFICACION DE FORMULAS PROPOSICIONALES

REGLA:
1.- se empieza x las fórmulas mas largas
2.- todo se transforma a conjunción ∧

Y disyunción “ V ”
ejemplo 1:
simplificar: p ∧(q V q)↔ ? ?

p ∧(q V q)↔ p ∧( q V q)

p ∧(q V q)↔ p ∧¿ ); ( p V p) ↔ V 5°) C.N.

p ∧(q V q)↔ p ( p ∧V )↔ p 4°)
L.N.
p ∧(q V q)↔ p

5.- CONDICION DE NEGACION:(C.N.)

( p V p) ↔ V
( p ∧ p) ↔ F

4.- ELEMENTO NEUTRO :(L.N.)

( p V F )↔ p
( p ∧V )↔ p
ejemplo 2:
simplificar: ( p ∧q ) V ( p ∧q )↔ ? ?

( p ∧q ) V ( p ∧q )↔ ( p ∧q ) V ( p ∧q )

( p ∧q ) V ( p ∧q )↔ ( q ∧ p ) V ( q ∧ p) , ( p ∧q) ↔(q ∧ p)

( p ∧q ) V ( p ∧q )↔ q ∧( p V p) , antidistributiva
( p ∧q ) V ( p ∧q )↔ q ∧ ¿ ), ( p V p)↔ V
( p ∧q ) V ( p ∧q )↔ q , ( p ∧V )↔ p

( p ∧q ) V ( p ∧q )↔ q

2.- CONMUTATIVA : (L.C.)

( p ∧q) ↔ ( q ∧ p )

3.- DISTRIBUIDAD:(L.D.)
p ∧( q V r) ↔ ( p ∧q ) V ( p ∧r )
5.- CONDICION DE NEGACION:(C.N.)
( p V p) ↔ V
4.- ELEMENTO NEUTRO :(L.N.)
( p V F )↔ p
( p ∧V )↔ p
ejemplo 3:
simplificar: ( q ∧ r ) → ( pV p ) ↔ ¿ ?

( q ∧ r ) → ( pV p ) ↔ ( q ∧ r ) → ( pV p )

( p ∧q ) V ( p ∧ q ) ↔ [ (q ∧ r )] V ( p V p ) ( p → q)↔( p V q)

( p ∧q ) V ¿ [ (q ∧ r )] V (V ) ( p V p)↔ V
( p ∧q ) V ¿ (q ∧ r ) V (V )

( p ∧q ) V ¿ V ( p V V )↔ V

( q ∧ r ) → ( pV p ) ↔ V

6.- IMPLICACION:(L.I.)
( p → q)↔ ¿)

5.- CONDICION DE NEGACION:(C.N.)

( p V p) ↔ V

9.- CONDICION DE TAUTOLOGIA :(L.T.)

( p V V )↔ V
ejemplo 4:
simplificar: [ ( p∧ q ) → q ] V p↔ ??

[ ( p∧ q ) → q ] V p↔ [ ( p∧ q ) → q ] V p

( p ∧q ) V ¿,( p → q)↔( p V q)

( p ∧q ) ¿ ↔ [ ( p ∧ q ) V q ] V p ( p) ↔ p

¿ ↔ [ ( p ∧q ) ∧ q ] V p ( p V q)↔ ( p ∧ q )

↔ [ ( p V q ) ∧q ] V p ( p ∧ q)↔ ( p V q )

↔ [q ∧( p V q )]V p ( p ∧q) ↔(q ∧ p)

↔ [ q ∧ p] V p p ∧( p V q) ↔ ( p ∧q )

↔qV p p V ( q ∧ p) ↔ ( p V q)

[ ( p∧ q ) → q ] V p↔ qV p

11.- LEYES DE ABSORCION : (L. ABS.)

p ∧( p V q)↔ p

p V ( q ∧ p)↔ p

p ∧( p V q) ↔ ( p ∧q )

p V ( q ∧ p ) ↔ ( p V q)
ejemplo 5:
simplificar: qV [ ( p ∧ q) → q ] ↔ ??

qV [ ( p ∧ q) → q ] ↔ qV [ ( p ∧ q) → q ]

qV [ ( p ∧ q) → q ] ↔ qV [ ( p ∧ q) V q]

qV [ ( p ∧ q) → q ] ↔ q V ( p V q)

qV [ ( p ∧ q) → q ] ↔ q V ( p ∧q)

qV [ ( p ∧ q) → q ] ↔ q

q V [ ( p ∧ q) → q ] ↔q
Examen practico: ( diez minutos)
simplificar:
[ ( p→ q ) → ( q → p ) ] ∧( pV q ) ↔ ??

[ ( p→ q ) → ( q → p ) ] ∧( pV q )
[( ( p → q ) )→ ( q → p ) ] ∧( p V q)

¿ ( p → q)↔( p V q)
[ ( p →q ) V ( q → p ) ] ∧( p V q) ( p) ↔ p

[( pV q ) V ( q V p ) ] ∧( p V q) ( p → q)↔( p V q)

[( pV q ) V ( q ∧ p ) ] ∧( p V q) ( p V q) ↔ ( p ∧ q )

[ p V {q V ( q ∧ p ) }] ∧(p V q) p ∧( q ∧r )↔ ( p ∧q ) ∧ r

[ pV {q }] ∧( pV q) p V ( q ∧ p)↔ p

( p V q) ∧( p V q )

[( pV q ) ∧ p ] V [ ( pV q ) ∧ q ] p ∧(q V r) ↔ ( p ∧q ) V ( p ∧r )

[ q ∧ p ] V [ ( p V q ) ∧q ] p ∧( p V q) ↔ ( p ∧q )

[ q ∧ p ] V [ q] p ∧( p V q)↔ p

(q ∧ p) V q p V ( q ∧ p)↔ p

OTRA FORMA
[ ( p→ q ) → ( q → p ) ] ∧( pV q )
[( ( p → q ) )→ ( q → p ) ] ∧( p V q)

¿ ( p → q)↔( p V q)
[ ( p →q ) V ( q → p ) ] ∧( p V q) ( p) ↔ p

[( pV q ) V ( q V p ) ] ∧( p V q) ( p → q)↔( p V q)

[( pV q ) V ( q ∧ p ) ] ∧( p V q) ( p V q) ↔ ( p ∧ q )

( p V q)∧ [ ( p V q ) V ( q ∧ p ) ] ( p ∧q) ↔(q ∧ p)

[ ( p V q) ∧ ( p V q ) ] V [ ( pV q ) ∧ ( q ∧ p ) ] p ∧(q V r) ↔ ( p ∧q ) V ( p ∧r )

[q ∧ ( pV p ) ] V [ ( p V q) ∧ ( q ∧ p) ] ( p ∧q ) V ( p∧ r ) ↔ p ∧( q V r)

[q∧ ( p V p ) ] V { [ ( p V q ) ∧q ] ∧ p } p ∧(q ∧r )↔ ( p ∧q ) ∧ r

[ q ∧V ] V {[ ( pV q ) ∧ q ] ∧ p } ( p V p) ↔ V

[ q ∧V ] V {q ∧ p } p V ( q ∧ p)↔ p

q V ( q ∧ p) ( p ∧V )↔ p

q p V ( q ∧ p)↔ p

LEYES LOGICAS:
1.- ASOCIATIVIDAD: (L.AS.)
p V (q V r )↔ ( p V q ) V r
 p ∧( q ∧r )↔ ( p ∧q ) ∧ r

2.- CONMUTATIVA : (L.C.)

( p V q)↔ ( q V p )

( p ∧q) ↔ ( q ∧ p )

3.- DISTRIBUIDAD:(L.D.)
p ∧( q V r) ↔ ( p ∧q ) V ( p ∧r )

p V ( q ∧r ) ↔ ( p V q ) ∧ ( pV r )

4.- ELEMENTO NEUTRO :(L.N.)

( p V F )↔ p

( p ∧V )↔ p

5.- CONDICION DE NEGACION:(C.N.)

( p V p) ↔ V

( p ∧ p) ↔ F

6.- IMPLICACION:(L.I.)
( p → q)↔ ¿)

7.- DEFINICION DE EQUIVALENCIA:(L.E.)

( p ↔ q)↔ ( p →q ) ∧ (q → p)

8.- LEYES DE IDEMPOTENCIA ): (L.ID.)

( p V p)↔ p

( p ∧ p)↔ p

9.- CONDICION DE TAUTOLOGIA :(L.T.)

 ( p V V )↔ V
10.- CONDICION DE ANTITAUTOLOGIA: (L.A.)
( p ∧ F) ↔ F

11.- LEYES DE ABSORCION : (L. ABS.)

p ∧( p V q)↔ p

p V ( q ∧ p)↔ p

p ∧( p V q) ↔ ( p ∧q )

p V ( q ∧ p ) ↔ ( p V q)

12.- LEYES DE MORGAN : (L.M.)

( p V q) ↔ ( p ∧ q )

( p ∧ q)↔ ( p V q )

13.- DOBLE NEGACION

( p) ↔ p