Fonction booléenne

Dans le corps $F_2$, la fonction $(x,y)\mapsto 4x+3y$ est la fonction $(x,y)\mapsto y$, car $3=_{F_2}1$ et $4=_{F_2}0$.

Rappel: un anneau de Boole (en particulier $F_2$) peut être aussi vu comme une algèbre de Boole en posant $(x\leq y):=(xy=x)$

Si tu souhaites faire l'identification $(vrai,faux):=(0,1)$ alors (A ou $:=AB$ et $non(A):=A+1$ et $(A\iff :=(A+B)$

Si tu souhaites faire l'identification $(vrai,faux):=(1,0)$ alors (A et $:=AB$ et $non(A):=A+1$ et $(A\iff := ((A+B)+1)$

Je ne comprends pas trop ta question. "Enlever" est une action humaine. Pas un concept math? Peux tu préciser?

C'est parce qu'il définit sa fonction sur le corps $\mathbb F_2 = \{0, 1\}$, où les calculs se font "modulo $2$", c'est-à-dire que $1+1=0$ dans $\mathbb F_2$.