fix typo

Signed-off-by: JIANG Di <dd19941105@gmail.com>
add function booleanPlus
Signed-off-by: JIANG Di <dd19941105@gmail.com>
fix style