Équivalences Logiques

[Éliane]

J,ai besoin d'aide pour une preuve.

Voici mon problème:

Avec des tables de véritée j'arrive à une équivalence logique entre ces deux expressions: (p^|q)v(|p^q)v(|p^|q) et p->q ( | = non )

Comment arriver de la premiere a la derniere avec les équivalences logiques : Identité, Domination, Idempotence, Loi de double négation, Commutativité, Associativité, Distributivité et Lois de Morgan?

C'est a dire simplifier l'expression.