Fix incorrect conversion from c_int to bool and unify notation

This was a mistake on my part, where I seem to have been confused if false in C is equivalent to the int value 0 or 1. To avoid this confusion in the future I've added a truth table documenting how the conversion expression works. The resulting notation has been applied elsewhere for consistency.