Сообщение от
zepterman 
То есть выходит, что по записи (choice != 1 && choice != 2), цикл должен прекратится, если choice одновременно будет равняться 1 и 2.
Нет. Когда хотя бы одно не выполнится, то сразу цикл прекратится. Посмотрите на определение операций && и ||
