verificare l'identità

$x+y+(x+z)(\overline{x}+y)=x+y+z$ $x+y+0+xy+\overline{x}z+zy=x+y+z$ proprietà distributiva + teorema della complentazione $x+y+xy+\overline{x}z+yz=x+y+z$ $x+y+\overline{x}z=x+y+z$ assorbimento tra $x$ e $xy$ / $y$ e $yz$ $(x+\overline{x})(x+z)+y=x+y+z$ distributiva $x+y+z=x+y+z$ teorema della complementazione