boolean algebra view 1