あ、ちょっとまって、>>29をよく読んだから、
true のとき 1 を返して、false のとき 0 を返し、
その型はintだ、と書いてあるな。

ということは、Cは論理型を整数型で代用しているってことだな。