ЛОГИЧЕСКИЕ ОСНОВЫ ФУНКЦИОНИРОВАНИЯ КОМПЬЮТЕРА
Логика - наука,
изучающая технику суждений и рассуждений. Разделы логики: математическая логика,
формальная логика, диалектическая логика.
Формальная логика - дисциплина, изучающая особенности человеческих суждений и рассуждений.
Математическая логика - дисциплина, изучающая технику математически точных
теорий и доказательств.
Диалектическая логика - логика, изучающая закономерности процессов,
развивающихся в природе, обществе и познании.
Для описания логики
функциональных, аппаратных и программных средств ЭВМ используется алгебра
логики (Булева алгебра), названная по
имени создателя.
Основные понятия алгебры логики
Булева алгебра оперирует с
логическими переменными, которые могут принимать 2 значения: 1 (истинно) и 0
(ложно).
Логические функции
Логической функцией набора f(x1, ... хп)
называется функция, аргументы которой могут принимать только 2 значения - истина или ложь. Область определения логической
функции конечна и зависит от числа возможных аргументов. Любая
логическая функция может быть задана с
помощью таблицы истинности, в левой части которой записываются возможные значения
аргументов, а в правой - соответствующие им значения функции.
Законы Алгебры логики
