プチコンのIF判定は０が偽でそれ以外は全て真になります。 二進数の10000は10進数だと16ですが、結局のところ0ではないので真です。ビット列の中の一つでも1になれば、それは0にはならないので結果的に真ということですね。