[ferbad]

Aplica sucesivamente las leyes lógicas para simplificar las siguientes proposiciones
lógicas:

\(
a) (p ∨ q) ∧ - q \\
b) (p ∧ q) ∨ - p  \\
c) (-q ∨ p) ∨ q   \\
d) -(p ∨ -q) ∧ - p \\
 \)

Mi intento

\(
a)  (p ∧  -q)    ∨  (q ∧ -q)  =>   (p ∧ -q) ∨  F \\
b)  (p ∨ -p) ∧ (q ∨ -p)  =>  V  ∧  (q ∨ -p)  \\
c)   (-q ∨ q)  ∨ p =>   V  ∨  p => V \\
 \)

[mg]

A mí no me parece que haya nada mal, y el apartado d) lo puedes resolver igual usando las leyes de morgan  de De Morgan.

[Luis Fuentes]

Hola

Aplica sucesivamente las leyes lógicas para simplificar las siguientes proposiciones
lógicas:

\(
a) (p ∨ q) ∧ - q \\
b) (p ∧ q) ∨ - p  \\
c) (-q ∨ p) ∨ q   \\
d) -(p ∨ -q) ∧ - p \\
 \)

Mi intento

\(
a)  (p ∧  -q)    ∨  (q ∧ -q)  =>   (p ∧ -q) ∨  F \)

Todavía lo puedes simplificar a:

\( p\wedge \neg q \)

\( b)  (p ∨ -p) ∧ (q ∨ -p)  =>  V  ∧  (q ∨ -p)   \)

Puedes simplificarlo a:

\( q\vee \neg p \)

Saludos.

En LaTeX para los símbolos lógicos usa:

\wedge para el "y" \( \wedge \)
\vee para el "ó" \( \vee \)
\neg para la negación \( \neg \)