Кроме логической существует ещё побитовая инверсия. А битовые переменные как таковые бывают только в расширениях языка для конкретных аппаратных платформ, например, для C51.
В указаном выражении фактически использовано неявное приведение типа дважды - сначала значение переменной целого типа приводится к логическому значению ложь или истина - по умолчанию это ноль или не ноль (не ноль совсем не обязательно единица), потом значение выражения - логическая ложь или истина - приводится к целому значению ноль или единица (только единица).
Применяется ещё такой тип, как битовые поля в структурах, но у них имя состоит из имени структуры, разделителя и имени поля. Хотя никто не мешает использовать препроцессор, чтобы переобозвать такое имя односложным. Я битовые поля, так как они могут иметь размерность не только в 1 бит, понимаю как усеченный целый тип. Просто при размере поля 1 бит битовые операции с ним нивелируются до логических операций.