1.

(-p v q ) v ( -q v -p )
2. -[ (-p v –q) v –q]
3. [-(p -> q) -> -(q -> p)] ^ (p v q)
4. {[(p -> q) <-> -q] ^ -q}
5. -[(p v p ) <-> p]
6. [ ( p v –q) ^q] -> p
7. [(p ^ q) v (p ^ -q)]
8. [(-p ^ q) <-> (r ^ -r) ] ^ -q

(-p v q) v ( -q v -p )
(-p v (q v -q) v -p ) asociativa
(-p v ( V ) v -p ) término medio
( V v -p ) Dominación
V Dominación

[-(p -> q) -> -(q -> p)] ^ (p v q)

[-(-p v q) -> -(q -> p)] ^ (p v q) Implicación
[-(-p v q) -> -(-q v p)] ^ (p v q) Implicación
[-{-(-p v q)} v -(-q v p)] ^ (p v q) Implicación
[(-p v q) v -(-q v p)] ^ (p v q) Doble negación
[(-p v q) v (--q ^ -p)] ^ (p v q) Morgan
[(-p v q) v (q ^ -p)] ^ (p v q) Doble negación
[(-p v q) ^ (p v q)] v [(q ^ -p) ^ (p v q)] Distributiva
[(-p ^ p) v q] v [(q ^ -p) ^ (p v q)] Distributiva
[F v q] v [(q ^ -p) ^ (p v q)] Contradicción
[q] v [(q ^ -p) ^ (p v q)] Identidad
q v [q ^ {-p ^ (p v q)}] asociativa.
q v [q ^ {(-p ^ p) v (-p ^ q)}] distributiva
q v [q ^ {(F) v (-p ^ q)}] Contradicción.
q v [q ^ (-p ^ q)] Identidad
q v [-p ^ (q ^ q)] asociativa
q v [-p ^ q] idempotencia
(q v –p) ^ (q v q) distributiva
(q v –p) ^ q Idempotencia

-[ (-p v –q) v –q]

- (-p v –q) ^ - –q Morgan

- (-p v –q) ^ q doble negación
(--p ^ -–q) ^ q Morgan
(p ^ q) ^ q doble negación
p ^ (q ^ q ) asociativa
p ^ q idempotencia.

{[(p -> q) <-> -q] ^ -q}

{[(p -> q) -> -q] ^ [- q -> (p -> q)] ^ -q} coimplicacion
{[(-p v q) -> -q] ^ [- q -> (-p v q)] ^ -q} implicación
{[-(-p v q) v -q] ^ [-- q v (-p v q)] ^ -q} implicación
{[(--p ^ -q) v -q] ^ [q v (-p v q)] ^ -q} doble negación y morgan
{[(p ^ -q) v -q] ^ [q v (-p v q)] ^ -q} doble negación
{[(p v -q ) ^ (-q v -q)] ^ [q v (-p v q)] ^ -q} distributiva
{[(p v -q ) ^ -q] ^ [q v (-p v q)] ^ -q} idempotencia
{[(p v -q ) ^ -q] ^ [(q v q) v -p)] ^ -q} asociativa
{[(p v -q ) ^ -q] ^ (q v -p) ^ -q} idempotencia
{[(p v -q ) ^ -q] ^ [(q ^ -q) v ( -p ^ -q) ]} distributiva
{[(p v -q ) ^ -q] ^ [ F v ( -p ^ -q) ]} contradicción
{[(p v -q ) ^ -q] ^ ( -p ^ -q) } identidad
{[(p v -q ) ^ -p] ^ ( -q ^ -q) } asociativa
{[(p v -q ) ^ -p] ^ -q } idempotencia
{[ ( p ^ -p ) v ( -q ^ -p) ]^ -q} distributiva
{[ F v ( -q ^ -p) ]^ -q} contradicción
{ ( -q ^ -p) ^ -q} identidad
{ -p ^ (-q ^ -q)} asociativa
-p ^ -q idempotencia
-(p v q)
1. -[(p v p ) <-> p]
2. [ ( p v –q) ^q] -> p
3. [(p ^ q) v (p ^ -q)]
4. [(-p ^ q) <-> (r ^ -r) ] ^ -q