In set theory, I have seen the overbar used quite often as 'the complement of' so this would be the complement of the complement of B which is just B. Some use the superscript c as complement and thus the B with the double overbar would be the same as (Bc)c
This site uses cookies to help personalise content, tailor your experience and to keep you logged in if you register.
By continuing to use this site, you are consenting to our use of cookies.