Let $L$ be a lattice, a$,$b$,$c inL, and $abc,$ prove that avvb$=b^{{?}^{?}}c.$

$Bo+,$AAx,yinB $$

$xo+y=(x^{{?}^{?}}{y}^{\text{'}})vv(x^{{?}^{?}}y)$

$$: $?,$

$2.$Let be a Boolean algebra, and define a binary operation $o+$ on $B,$ such that AAx,yinB,

$xo+y=(x^{{?}^{?}}{y}^{\text{'}})vv(x^{{?}^{?}}y)$

Can form an algebraic system? If yes, what kind of algebraic system is it$?$ Why?