There have been rigourous studies of Boolean operators for information retrieval, including the pnorms of  and the matrix forms of Turtle and Croft (1989), which have focussed particularly on mathematical expressions for conjunction and disjunction.
typical forms of negation (such as NOT p = 1−p) have not taken into account the relationship between the negated argument and the rest of the query.