Boolean logics