1. 不能清晰理解“==”运算以及优先级和结核性的含义
在判断i，j，k三个变量是否相等时往往会轻率地写出“i == j == k ”这样的表达式并误以为三个变量的值相等时，这个表达式的值为1。然而，这个是错误的。
在表达式“i== j == k ”中，这两个==符号的优先级是相同的，这样，我们要观察表达式的含义，需要借助结核性来判断了。“==”符号的结合性是从左到右，所以我们看到的表达式“i== j == k ”实际等价于“(i == j)== k”。我们分析这个表达式，其实这个式子的含义是判断(i == j)这个式子的值与k的值是否相等。
当k的值是1，而i和j的值是相等并且都为1的时候，我们就会得到一个假象，以为这个表达式是正确的。其实这个结果并不准确。只要k的值为1，i和j的值只要相同，这个表达式的值就为1 。而对于i，j，k都为2的时候，我们反而会得到表达式不成立的结果。从这几个例子，我们能看出表达式所表达的真实含义。
2. 对于自然语言和程序语言的理解不一致。
看下面这个例子：
“当一个整数不等于5或者不等于6时……..”
这句话我们按照正常的思维理解，是没有问题的，但是我们把这句话转换为程序语言，就会出现问题了。不信?那你试一试。
你是不是会这样写“if(i != 5 || i != 6)”?若是这样写，你就错了!
错误在于“i != 5 || i != 6 ”这个表达式的值是恒为1的。因为i的值不可能等于5的同时也等于6。所以，这个表达式为假是不可能的。
实际上，用准确的语言来描述这个问题是：当这个整数不等于5且不等于6时，程序输出1，否则输出0。
3. 关于将自然语言翻译成代码，还有一个例子值得一说。如何将这句话翻译为c代码呢?
“字符c的值等于‘’、‘n’或‘t’
有的同学讲其翻译为“c == ‘‘ || ‘n’ || ‘t’”。然而，这两种描述并不等价，它们的思考方式是不同的。在自然语言中成立的语句，在C语言中并不一定成立。
C语言是一种人与机器交流的语言，在某种程度上，C语言更接近于数学语言。C语言中的每个变量都有值，C语言就是通过这些值来实现逻辑表达的。在上面的例子中，字符c的值是和’‘、’n’或‘t’三者之一是相等的，也就是说，c == ‘‘、c==’n’、c == ‘t’这三个表达式有且只有一个为1。因此，上述语句的C代码可以写成(c ==’‘ + c == ‘n’ + c==’t’) == 1。
而更为有效率的表达是这样写的：c == ‘‘ || c == ‘n’ || c == ‘t’。这种表达的优点是，按照顺序执行这三个表达式的，若其中有一个为1，就不需要计算其余表达式，直接得到表达式的值。而(c ==’‘ + c == ‘n’ + c==’t’) == 1表达式需要计算出所有的式子的值，才能得到整个表达式的值。