Любовь и Ненависть (18+)

    

Черный принц: Про бинарную логику   (rss)

Вы также можете посмотреть сообщения от других людей на эту тему

29/06/15, Черный принц
Бинарная (двоичная, математическая, формальная) логика в качестве объектов рассматривает логические утверждения (суждения, высказывания). Любое утверждение в её рамках может быть либо истинным (true), либо ложным (false), - "третьего не дано". Условимся в первом случае присваивать утверждению значение "логической единицы", а во втором - "логического нуля". Теперь любое утверждение можно рассматривать как некую "логическую переменную" со значениями 1 либо 0. Например, пусть утверждению "Жизнь на Земле существует" соответствует логическая переменная с именем x. Тогда x = 1 и т. д. Для сложных комбинаций утверждений возможно определение функций (операций, действий) над логическими переменными. Таким образом, возникает "алгебра логики" или "булева алгебра" - по имени создателя такой алгебры английского математика и логика Буля со своими действиями, свойствами и теоремами. Булева алгебра является логической базой цифровой техники.

29/06/15, Черный принц
Можно представлять логические функции одновременно в нескольких равноценных формах: логическая формула: алгебраическая (аналитическая) форма; диаграмма Венна: на некотором участке плоскости условно очерчена область, для точек которой данное утверждение истинно, - для остальных точек плоскости оно ложно; любой точке плоскости соответствует какое-то истинное утверждение, а любому "заведомо ложному" утверждению не соответствует ни одна точка; таблица истинности: таблица состояний функции, в которой непосредственно указываются её значения для всех возможных комбинаций значений логических переменных (всего в такой таблице 2n строк, где n - число логических переменных, 2 - число возможных состояний каждой переменной); временнaя диаграмма: график зависимости состояния функции от времени, на котором каждая строка таблицы состояний отображается на некотором промежутке времени (такте) либо высоким (high) уровнем графика (логическая единица), либо низким (low) уровнем (логический нуль).


С вопросами и предложениями обращайтесь по адресу: finn@lovehate.ru