Странности и магия в логическом операторе с++

[MrQuestion]

Здравствуйте!
Написал позавчера тестовое приложение, которое работало и компилилось как надо. Решил доработать его и наткнулся на МАГИЮ!
Все чудесно работает, но в этом то и проблема! Оно не должно работать!
Код из приложения пихать не буду, ибо он мудрён, но суть такова.
Логическое ИЛИ похоже работает вместо логического И. В общем, это какое то колдовство!
Суть в том, что цикл должен заканчиваться после того, как я ввожу нуль. Но он не заканчивается. А вот если вместо || написать && все работает.
Изначально в приложении стояло условие do while(a!=0 || b ==0) и оно работало, хотя условие это какой то звиздец.
Я не понимаю в чём тут проблема. Объясните, пожалуйста.
Нижеприведённый код не выходит из цикла. Хотя, должен.

using namespace std;

int main()
{
    int a = 0;
    int b = 500;
    int c = 0;
    
    do
    {
        cin >> a;
        c+=a;
        b-=a;
        cout << "a=" << a << endl;
        cout << "b=" << b << endl;
        cout << "c=" << c << endl;
        
    }while(a!=0 || b!=0);
    
    system("PAUSE");
    return 0;
}

Спасибо.

[BDA]

Если выход по нулю, то и пишите "while(a!=0)".
"while(a!=0 || b!=0)" - означает, "выполнять цикл, пока A и B не станет равно нулю".
"while(a!=0 && b!=0)" - "выполнять цикл, пока A или B не станет равно нулю".
"while(a!=0 || b ==0)" - "выполнять цикл, пока A не станет равно нулю и B станет не нулем".

[MrQuestion]

Либо я попал в параллельную реальность , либо что то еще. Всю жизнь логическим ИЛИ был ||, а И &&. Взять хоть ту же статью со студии.
http://cppstudio.com/post/297/

[Stilet]

Либо я попал в параллельную реальность

Ты просто запутался.
while(a!=0 || b!=0) - закончить, когда и А и В будут равны 0
Так что BDA прав, а ты запутался. Составь таблицу логическую и посмотри чему будет:

А В (a!=0 || b!=0)
0 0 False
1 0 True
0 1 True
1 1 True

[MrQuestion]

while(a!=0 || b!=0) - закончить, когда и А и В будут равны 0

Да почему логическое И то? В условии стоит || - это ИЛИ.
Продолжать если а не равно нулю ИЛИ b не равно нулю. В условии стоит ИЛИ. Закончить, когда а == 0 ИЛИ b == 0.
Товарищи, ну как так то это может быть И, если это ИЛИ?
Таблица правильная. Только почему вы ИЛИ называете И?

[BDA]

Потому что, по сути, записано условие продолжения цикла. Условие же выхода из цикла является отрицанием к условию продолжения.
"Если a!=0 || b!=0, то продолжать цикл" эквивалентно "Если a==0 && b==0, то выйти из цикла".

[Stilet]

В условии стоит || - это ИЛИ.

Ты не учитываешь !=
Читается как "Пока А не равно нулю или В не равно нулю". Т.е. "Пока и А и В не равны нулю одновременно".
Говорю же - составь таблицу.

[MrQuestion]

Вот же дела. Я и не знал о таком. О какой таблице вы говорите? Учитывая, что я сейчас узнал, я не составлю верной таблицы, потому что сижу и стекаю с кресла. Вы разрушили мой мир логических операторов. Проделали дыру. Я понял, что ничего о них не знаю. И как работать с ними теперь, тоже не знаю. В учебниках такого не было...

[Serge_Bliznykov]

читайте "Законы де Моргана"
например, на википедии или в первой попавшейся статье про булевую алгебру - тыц

[MrQuestion]

Спасибо, мистеры модераторы. Теперь придется потрахать себе мозг этими законами.