Adding rules about logical expression