Bonsoir,
je viens vous voir car je suis bloqué.

je dois démontrer que (F/v,+,x) est un anneau de Boole.

La loi + est définie par
cl(A)+cl(B)=cl(A et non B)ou (B et non A)
=cl(NAND)

La loi x par:

cl(A)x cl(B)=cl(A et B)

On fixe l'ensemble de variables propositionnelles v et F est l'ensemble de toutes les formules du calcul propositionnel écrites a partir de v.
F/~ l'ensemble des classes d'équivalences des formules de F modulo ~

on sait que cl(F)={G € F; G v F}
0=classe des antilogies
1=classe des tautologies.

Merci de l'aide.