И тем не менее до сих пор это животное продолжает оставаться самым большим в мире
double a = 76.f, b = 12.f, c = 96.f, d = 40.f;
double y = (c * d) - (c * b);
double x = y / (a - b);
cout << c - x << endl;
Во вложении приведена таблица истинности. В закрашенных столбцах строки не совпадают, следовательно, высказывания не равносильны.