correct homework 10

1. add rules N-True, N-False
2. correct rule N-IfFalse