若int a = 0, b = 1, c = 2，则逻辑表达式a++ && b++ || (c -= 2)执行之后

若int a = 0, b = 1, c = 2，则逻辑表达式a++ && b++ || (c -= 2)执行之后
a=1 ,b=1,c=0,表达式的值为0
分析如下：
逻辑表达式a++ && b++ || (c -= 2)执行时
1、由于优先级&&与||一样，所以执行是先执行&&
a++ && b++其中都是X++形式，所以是先取值再自加
（1）故&&运算时取得值a=0因为a=0所以这个表达式就是0
（2）&&后面的b++b不需要计算，程序不执行故b的值不变
2、a++ && b++ || (c -= 2)可以化简为0|| (c -= 2)
（1）(c -= 2)=0带入上式
（2）0||(c -= 2)=0即逻辑表达式为0
程序验证如下：

#include<iostream>
#include<stdlib.h>

using namespace std;

int main()
{
    int a = 0, b = 1, c = 2;
    int flag = ((a++) && (b++)) || (c -= 2);
    cout << "((a++) && (b++)) || (c -= 2)=" << flag << endl;
    cout << "a=" << a << " b=" << b << " c=" << c;
    system("pause");
}

结果如下：

如果不能理解，有疑惑.认为b++在运算&&时取值为1要运算b++之后是2
a++ && b++ || (c -= 2)换成a++ && b-- || (c -= 2)发现结果依旧不变
程序如下：

#include<iostream>
#include<stdlib.h>

using namespace std;

int main()
{
    int a = 0, b = 1, c = 2;
    int flag1 = ((a++) && b--) || (c -= 2);
    cout << "((a++) && b--) || (c -= 2)=" << flag1 << endl;
    cout << "a=" << a << " b=" << b << " c=" << c;
    system("pause");
}

结果如下：

当把a的值换成a=1，((a++) && b++) || (c -= 2)前面的值为1 时b的值就会有变化
代码如下

#include<iostream>
#include<stdlib.h>

using namespace std;

int main()
{
    int a = 1, b = 1, c = 2;
    int flag1 = ((a++) && b++) || (c -= 2);
    cout << "((a++) && b++) || (c -= 2)=" << flag1 << endl;
    cout << "a=" << a << " b=" << b << " c=" << c;
    system("pause");
}

结果如下：

2021年6月26日补充：
在c语言中，&&与||有段路特性，解释如下：
1、条件1&&条件2 如果条件1为假，也就是0，那么代码将不执行条件2，因为0与任何条件都是0
2、条件1||条件2 如条件1的结果为真，也就是1，那么代码将不执行条件2，因为1或任何条件都是真