Question

[p ∧ (∼q ∧ p)] ∨ [p ∧ (q ∧ ∼q)]

SIMPLIFICACIÓN DE LEYES DE LÓGICA PROPOSICIONAL.

Answer 1

* [ (p ∧ p) ∧ ~q ] ∨ [ p ∧ F ]
Por asociación
* [ p  ∧ ~q ] ∨ F
* p ∧ ~q

Recordaar:
* p ∧ ~p= F
* p ∧ F = F

Answer 2

$[p \wedge (\sim q \wedge p)] \vee [p \wedge (q \wedge \sim q)]$

Siempre justificamos el proceso utilizado, resolvemos de adentro hacia afuera.

$[p \wedge \sim q \wedge p] \vee [p \wedge (q \wedge \sim q)] \ \ \ \ Elimino \ \ par\'entesis$

$[(p \wedge p) \wedge \sim q] \vee [p \wedge (F)] \ \ \ \ Conmuto, Asocio, Complemento$

$(p \wedge \sim q) \vee F \ \ \ \ Complemento, Idempotencia$

$p \wedge \sim q \ \ \ \ Identidad$

$Decimos \ \ que \ \ la \ \ respuesta \ \ es \ \ \boxed{Contingencia}$

_______________________________________________________
Recordamos algunas leyes:
$\boxed{p \wedge \sim p=F} \\ \boxed{p \vee p=p}$
_______________________________________________________




$' \odot \odot\\ \overbrace{100pre} \\ \underbrace{Salu2}$