Add boolean operations "or" and "and"
Fix reduction rules