Corrected error in processing of NOT operation - and corresponding error
in test.
Added an example invocation to the README.md