Implemented boolean algebra