Added BooleanDemo and made modifications.