1
Démontrer : \[a\wedge(b_1b_2)=1 \Leftrightarrow (a\wedge b_1=1 \text{ et } a\wedge b_2 =1),\] puis par récurence : \[a\wedge(b_1 \ldots b_n)=1 \Leftrightarrow \forall i=1,\ldots,n\ \ a\wedge b_i =1.\]
Démontrer : \[a\wedge(b_1b_2)=1 \Leftrightarrow (a\wedge b_1=1 \text{ et } a\wedge b_2 =1),\] puis par récurence : \[a\wedge(b_1 \ldots b_n)=1 \Leftrightarrow \forall i=1,\ldots,n\ \ a\wedge b_i =1.\]