ClubEnsayos.com - Ensayos de Calidad, Tareas y Monografias
Buscar

Propiedades de las operaciones lógicas


Enviado por   •  8 de Agosto de 2018  •  Apuntes  •  533 Palabras (3 Páginas)  •  940 Visitas

Página 1 de 3

Propiedades de las operaciones lógicas

Vamos a examinar las propiedades que tienen las operaciones lógicas antes definidas, para ello consideramos que p, q y r son tres proposiciones cualesquiera. Entonces tenemos los siguiente:

1) Idempotencia

p˄p ≡ p

p˅p ≡p

2) Asociatividad

(p˄q)˄r ≡ p˄(q˄r)

(p˅q)˅r ≡ p˅(q˅r)

3) Conmutatividad

p˄q ≡ q˄p

p˅q ≡ q˅p

4) Distributividad

p˄(q˅r) ≡ (p˄q)˅(p˄r)

p˅(q˄r) ≡ (p˅q)˄(p˅r)

5) Identidad

p˄(F) ≡ (F)

p˅(F) ≡ p

p˄(V) ≡ p

p˅(V) ≡ (V)

6) Complemento

p˄(~p) ≡ (F)

p˅(~p) ≡ (V)

~(~p) ≡ p

~(V) ≡ (F)

~(F) ≡ (V)

7) Condicionantes

(p → q) ≡ (~p ˅ q)

(p → q) ≡ (~q → ~p)

(p ↔ q) ≡ (p → q) ˄ (q → p)

(p ↔ q) ≡ (~p ˅ q) ˄ (~q ˅ p)

8) De Morgan

~(p ˅ q) ≡ (~p ˄ ~q)

~(p ˄ q) ≡ (~p ˅ ~q)

~(p → q) ≡ (p ˄ ~q)

~(p ↔ q) ≡ (~p ↔ ~q)

Con la ayuda de estas propiedades podemos simplificar proposiciones compuestas o hallar su valor de verdad

Ejemplo

(p ˄ q) → [(~p ˅ q) ˄ (~q ˅ p)]

~(p ˄ q) ˅ [(~p ˅ q) ˄ (~q ˅ p)] condicionante

(~p ˅ ~q) ˅ [(~p ˅ q) ˄ (~q ˅ p)] De Morgan

[(~p ˅ ~q)˅(~p ˅ q)] ˄ [(~p ˅ ~q) ˅ (~q ˅ p)] distributividad

[(~p

...

Descargar como (para miembros actualizados)  txt (1.9 Kb)   pdf (59.2 Kb)   docx (569.5 Kb)  
Leer 2 páginas más »
Disponible sólo en Clubensayos.com