S6
false
S3
not
true
bfactor
S5
bfactor - (.bexpr ) bexpr - .bexpr or bterm bexpr - .bterm bterm - .bterm and bfactor bterm - .bfactor bfactor - .not bfactor bfactor - .( bexpr ) bfactor - . true bfactor - . false
S4
bfactor - not. bfactorbfactor - .not bfactor bfactor - .( bexpr ) bfactor - . true bfactor - . false
(
S8
bexpr - bexpr or. btermbterm - .bterm and bfactor bterm - .bfactor bfactor - .not bfactor bfactor - .( bexpr ) bfactor - . true bfactor - . false
S11
bfactor - (bexpr).
bterm
bexpr
S7
bfactor - false.
or
S0
S' - .bexprbexpr - .bexpr or bterm bexpr - .bterm bterm - .bterm and bfactor bterm - .bfactor bfactor - .not bfactor bfactor - .( bexpr ) bfactor - . true bfactor - . false
and
S
S10
bfactor - (bexpr. ) bexpr - bexpr. or bterm
S14
bfactor - not bfactor.
bterm - bfactor.
S12
bexpr - bexpr or bterm.bterm - bterm. and bfactor
S9
bterm - bterm and. bfactorbfactor - .not bfactor bfactor - .( bexpr ) bfactor - . true bfactor - . false
S2
)
S13
bterm - bterm and bfactor.
S1
S' - bexpr.bexpr - bexpr. or bterm
bfactor - true.
bexpr - bterm. bterm - bterm. and bfactor
