%token ATOM CONSTANT
%left '|' '^'
%left '&' 
%%

 bool:    '(' bool ')'
     | bool '|' bool
     | bool '^' bool
     | bool '&' bool
     | ATOM
     | CONSTANT
     ;