관계 수식이나 논리 수식은 참일 때 1, 거짓일 때 0의 값을 갖는다고 책에 나와 있습니다. 그리고 if, while, for 등의 검사 부분에서는 0이 아님을 참이라고 했습니다. 그렇다면 관계 수식이나 논리 수식은 참일 때 무조건 1을 의미하는 것이며, if while for 검사부분은 1뿐만 아니라 0이 아닌 다른 상수가 와도 참이라는 뜻인건지 잘모르겠습니다.

책에 나와있듯 0은 거짓 0, 0외의 모든 값은 참입니다. 그렇기때문에 while(4)이런 식으로 값이 들어와도 참으로 판단하게 되는거죠. 단 컴퓨터가 논리 수식을 계산할 때(a==b처럼) 이 때 컴퓨터는 일괄적으로 참이면 1 거짓이면 0이라는 값을 반환하게 되는것입니다.