Anneau de Boole

[Napster]

Bonjour à tous,
est ce que vous pouvez m'aider à démonter que cet anneau (F/~,,/\,A,T) est un anneau de boole,

avec
*) F/~ est l'ensemble des formules prépositionnelles munies de la relation d'équivalence ~
*) qui est (non()) et /\ sont les lois de composition interne relatives à l'ensemble F/~
*) A : Antilogie, est l'élèment neutre de
*) T : Tautologie, esl l'élèment neutre de /\


merci d'avance