Логический - это всего лишь частный случай побитового - когда операнды приводятся к однобитовому виду по простому правилу "если есть хотя бы один единичный бит, то 1, иначе 0", верно? и результат соответственно однобитовый, который потом может расширяться до требуемого.
Так вот - я как раз говорю о том, что имеет место то, что я лично считаю ошибкой. Возьми любое расширение операнда - те же инструкции процессора cbw, cwd... чем выполняется расширение? старшим битом... именно так и должно было быть реализовано расширение однобитового операнда до любого бОльшего... а что сделали авторы? любые другие операнды (short, int, ...) расширяют правильно, а вот однобитовый почему-то всегда нулём. Ни логики, нии чего-то ещё - вот так левая пятка захотела. А у программистов это превращается в догму на одном языке и соответственно выглядит бредом на других.