【C言語】
if(a||b&&c)が【&&】で改行してたら怪しい

int f1(int a,int b,int c)
{
    if(a &&      //ダメ:改行位置から推測される結合が違う
       b || c) {
        return  1;
    }
    return  0;
}

int f2(int a,int b,int c)
{
    if( a &&
       (b || c)   ) {//プログラマが期待する結合？？？
        return  1;
    }
    return  0;
}

int f3(int a,int  b,int c)
{
    if((a && b) || //コンパイラはこう解釈する
        c) {
        return  1;
    }
    return  0;
}

#include <stdio.h>
#include <stdbool.h>
void    diff(bool x,bool y,bool z){
    bool    e1 = (x||y)&&z  ;
    bool    e2 =  x||(y&&z) ;
    if(e1 != e2){  
        printf("diff:(%d|| %d)&&%d = %d\n",x,y,z,e1);
        printf("diff: %d||(%d &&%d)= %d\n",x,y,z,e2);
    }else{
        printf("same:(%d|| %d)&&%d = %d\n",x,y,z,e1);
        printf("same: %d||(%d &&%d)= %d\n",x,y,z,e2);
    }
}
int main(void){
    diff(0,0,0);
    diff(0,0,1);
    diff(0,1,0);
    diff(0,1,1);
    diff(1,0,0);
    diff(1,0,1);
    diff(1,1,0);
    diff(1,1,1);
}

./a.out
same:(0|| 0)&&0 = 0
same: 0||(0 &&0)= 0
same:(0|| 0)&&1 = 0
same: 0||(0 &&1)= 0
same:(0|| 1)&&0 = 0
same: 0||(1 &&0)= 0
same:(0|| 1)&&1 = 1
same: 0||(1 &&1)= 1
diff:(1|| 0)&&0 = 0
diff: 1||(0 &&0)= 1
same:(1|| 0)&&1 = 1
same: 1||(0 &&1)= 1
diff:(1|| 1)&&0 = 0
diff: 1||(1 &&0)= 1
same:(1|| 1)&&1 = 1
same: 1||(1 &&1)= 1

#include <stdio.h>
#include <stdbool.h>
int a(bool x){  printf("%s()->",__func__); return x;}
int b(bool x){  printf("%s()->",__func__); return x;}
int c(bool x){  printf("%s()->",__func__); return x;}
int main(void){
    if(a(0)||b(1)&&c(0))
        puts("0||1&&0=真");
    else
        puts("0||1&&0=偽");

    //a||b&&c の評価はどれが先？
    #define LOG(X) (printf("%s:",#X),printf("%s\n",(X)?"真":"偽"))
    LOG(a(0)||b(0)&&c(0));
    LOG(a(0)||b(0)&&c(1));
    LOG(a(0)||b(1)&&c(0));
    LOG(a(0)||b(1)&&c(1));
    LOG(a(1)||b(0)&&c(0));
    LOG(a(1)||b(0)&&c(1));
    LOG(a(1)||b(1)&&c(0));
    LOG(a(1)||b(1)&&c(1));
}

a()->b()->c()->0||1&&0=偽
a(0)||b(0)&&c(0):a()->b()->偽
a(0)||b(0)&&c(1):a()->b()->偽
a(0)||b(1)&&c(0):a()->b()->c()->偽
a(0)||b(1)&&c(1):a()->b()->c()->真
a(1)||b(0)&&c(0):a()->真
a(1)||b(0)&&c(1):a()->真
a(1)||b(1)&&c(0):a()->真
a(1)||b(1)&&c(1):a()->真