LOGICAL AND WITH DOUBLE OVERBAR