High-Logik в энциклопедиях
f
положительная логика(логика, в которой уровень единицы больше уровня нуля)