Логические операторы c++

true == 5 дает false (хотя всё true, что не 0)
false == 5 дает false (тут было бы все нормально, если бы не предыдущее выражение)
true && 5 дает true (тут мой мозг взорвался, потому что оператор && возвращает true, если оба операнда - true, 
а два операнда не могут быть true, если один операнд != другой операнд (5 != true даст true), а всего существует только 2 варианта значения (true, false).

Все просто. Как thumb rule (ну, простое правило "на пальцах") - приведите разнородные типы в арифметических операциях к большему типу. Т.е. в

true == 5

не 5 приводится к bool, а true превращается в int, равный 1. Сравнение дает результат bool, но его операнды - арифметические типы.

Там, где оператор для логических операндов (&&, ||) - приводим операнды к типу bool.

Вот и все.

У вас интерференция между топиками "Типы данных и из преобразование" и "Логические операторы".

В первом случае, ваше true приводится к типу int и происходит сравнение 1==5 с понятным итогом false.

Во втором случае, 0==5 с аналогичным итогом

В последнем случае, приведения типов первого операнда не будет, зато приведется тип второго операнда, 5 превратится в true

Для того, чтобы не путаться, не пытайтесь сравнивать переменные разных типов. Всегда делайте явное приведение при помощи static_cast<>

Это следствие правил конвертации в C/C++

Подробнее по пунктам:

true == 5

Тут true сконвертился в int, и получилось сравнение 1 == 5 , что равно false

false == 5

Тут false сконвертился в int, и получилось сравнение 0 == 5 , что равно false

true && 5

Тут 5 сконвертился в true, и получилось true && true , что равно true