Основу ЭВМ и других цифровых устройств составляют элементарные логические схемы, которые работают в строгом соответствии с законами и правилами алгебры логики. Знание и понимание этих законов и правил помогает лучше разобраться с принципами работы ЭВМ. Алгебра логики (булева алгебра – по фамилии ученого Д. Буля1) является частью раздела математики под названием математическая логика, посвященного изучению математических доказательств и вопросов оснований математики. Построенная Д. Булем алгебра служила для описания логических действий над высказываниями...

Рассмотрим три логические операции, которые могут быть выражены через инверсию, конъюнкцию и дизъюнкцию Импликация или логическое следование Обозначение А→B А - посылка, условие В – вывод, следствие, заключение Импликация ложна только в одном случае, если условие (А) – истина, следствие (В) – ложь. Пример. «Если три стороны одного треугольника соответственно равны трем сторонам другого треугольника, то такие треугольники равны» Эквивалентность (эквиваленция) или логическая равнозначность Обозначение...