вместо U обозначим +, вместо /\ точку•
(А+В)•(А+неВ)= А•А+ В•А+ А•неВ+ В•неВ=
А+А(В+неВ)+ 0= А+А•1+0= А, ч.т.д.
вместо U обозначим +, вместо /\ точку•
(А+В)•(А+неВ)= А•А+ В•А+ А•неВ+ В•неВ=
А+А(В+неВ)+ 0= А+А•1+0= А, ч.т.д.