--- /dev/null
+/*
+ Exercise 1-6. Verify that the expression getchar() != EOF is 0 or 1.
+ ===
+
+ Each character typed returned a 1, until I typed Ctrl+d, to signify the end of
+ input, which yielded a 0. Therefor, getchar()!=EOF is 1 with all characters and
+ 0 a the end of input/file. Thus, it always equals 0 or 1.
+*/
+
+#include <stdio.h>
+
+int main () {
+ int c;
+ while ((c=getchar())!=EOF) {
+ printf("%d ", c!=EOF); /* while input */
+ } printf("%d ", c!=EOF); /* on input end */
+}