В цикле статей об Аналоговых Вычислительных Машинах (АВМ) была затронута тема классификации. Точнее, уточнялось, что такое аналоговый и что такое аналогия. Однако, в комментариях к статьям цикла, в ходе дискуссий были затронуты и понятия дискретный, логический, цифровой. Причем началось все с механического арифмометра "Феликс". В результате появилась еще одна статья в которой довольно подробно разбиралось, что такое дискретный и цифровой. Да, описания не были математически строгими, но достаточно подробными...
В информатике существует раздел алгебры логики, ключевыми объектами которого являются высказывания. Высказывания всегда можно однозначно определить как истинное или ложное. Высказываниям присваиваются буквы (логические переменные) и значения, если высказывание истинное, то значение переменной равно 1, в противном случае 0. С помощью логических операций строятся составные (сложные) высказывания. Существуют 3 основные логические операции: конъюнкция, дизъюнкция, инверсия. Для большей понятности и наглядности...