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

Законы логики позволяют упрощать логические уравнения, делая их не такими большими и более решаемыми. Их не так уж и мало: от самых простых и очевидных до достаточно хитрых; от тех, которые встречаются очень часто до довольно редких. Не обязательно знать все наизусть — часть из них действительно проста и похожа на правила математики начальной школы. Про остальные стоит помнить: если увидите очень большое логическое уравнение, высока вероятность того, что эти законы помогут его сократить. Попробуем упростить исходное выражение: ¬(¬А ∧ ¬В) ∨ В ∧ С 1...