Conflict in state 10 between rule 2 and token '|' resolved as reduce.
Conflict in state 10 between rule 2 and token '^' resolved as reduce.
Conflict in state 10 between rule 2 and token '&' resolved as shift.
Conflict in state 11 between rule 3 and token '|' resolved as reduce.
Conflict in state 11 between rule 3 and token '^' resolved as reduce.
Conflict in state 11 between rule 3 and token '&' resolved as shift.
Conflict in state 12 between rule 4 and token '|' resolved as reduce.
Conflict in state 12 between rule 4 and token '^' resolved as reduce.
Conflict in state 12 between rule 4 and token '&' resolved as reduce.

Grammar
rule 1    bool -> '(' bool ')'
rule 2    bool -> bool '|' bool
rule 3    bool -> bool '^' bool
rule 4    bool -> bool '&' bool
rule 5    bool -> ATOM
rule 6    bool -> CONSTANT

Terminals, with rules where they appear

$ (-1)
'&' (38) 4
'(' (40) 1
')' (41) 1
'^' (94) 3
'|' (124) 2
error (256)
ATOM (258) 5
CONSTANT (259) 6

Nonterminals, with rules where they appear

bool (10)
    on left: 1 2 3 4 5 6, on right: 1 2 3 4


state 0

    ATOM	shift, and go to state 1
    CONSTANT	shift, and go to state 2
    '(' 	shift, and go to state 3

    bool	go to state 4



state 1

    bool  ->  ATOM .   (rule 5)

    $default	reduce using rule 5 (bool)



state 2

    bool  ->  CONSTANT .   (rule 6)

    $default	reduce using rule 6 (bool)



state 3

    bool  ->  '(' . bool ')'   (rule 1)

    ATOM	shift, and go to state 1
    CONSTANT	shift, and go to state 2
    '(' 	shift, and go to state 3

    bool	go to state 5



state 4

    bool  ->  bool . '|' bool   (rule 2)
    bool  ->  bool . '^' bool   (rule 3)
    bool  ->  bool . '&' bool   (rule 4)

    $   	go to state 13
    '|' 	shift, and go to state 6
    '^' 	shift, and go to state 7
    '&' 	shift, and go to state 8



state 5

    bool  ->  '(' bool . ')'   (rule 1)
    bool  ->  bool . '|' bool   (rule 2)
    bool  ->  bool . '^' bool   (rule 3)
    bool  ->  bool . '&' bool   (rule 4)

    '|' 	shift, and go to state 6
    '^' 	shift, and go to state 7
    '&' 	shift, and go to state 8
    ')' 	shift, and go to state 9



state 6

    bool  ->  bool '|' . bool   (rule 2)

    ATOM	shift, and go to state 1
    CONSTANT	shift, and go to state 2
    '(' 	shift, and go to state 3

    bool	go to state 10



state 7

    bool  ->  bool '^' . bool   (rule 3)

    ATOM	shift, and go to state 1
    CONSTANT	shift, and go to state 2
    '(' 	shift, and go to state 3

    bool	go to state 11



state 8

    bool  ->  bool '&' . bool   (rule 4)

    ATOM	shift, and go to state 1
    CONSTANT	shift, and go to state 2
    '(' 	shift, and go to state 3

    bool	go to state 12



state 9

    bool  ->  '(' bool ')' .   (rule 1)

    $default	reduce using rule 1 (bool)



state 10

    bool  ->  bool . '|' bool   (rule 2)
    bool  ->  bool '|' bool .   (rule 2)
    bool  ->  bool . '^' bool   (rule 3)
    bool  ->  bool . '&' bool   (rule 4)

    '&' 	shift, and go to state 8

    $default	reduce using rule 2 (bool)



state 11

    bool  ->  bool . '|' bool   (rule 2)
    bool  ->  bool . '^' bool   (rule 3)
    bool  ->  bool '^' bool .   (rule 3)
    bool  ->  bool . '&' bool   (rule 4)

    '&' 	shift, and go to state 8

    $default	reduce using rule 3 (bool)



state 12

    bool  ->  bool . '|' bool   (rule 2)
    bool  ->  bool . '^' bool   (rule 3)
    bool  ->  bool . '&' bool   (rule 4)
    bool  ->  bool '&' bool .   (rule 4)


    $default	reduce using rule 4 (bool)



state 13

    $   	go to state 14



state 14

    $default	accept