Для описания того, как функционируют аппаратные средства компьютера очень удобен математический аппарат алгебры логики, поскольку основной системой счисления в компьютере является двоичная, в которой используются цифры 1 и 0, а значений логических переменных тоже два: «1» и «0».
Из этого следует, что одни и те же устройства компьютера могут применяться для обработки и хранения как числовой информации, представленной в двоичной системе счисления, так и логических переменных.
Логика – это наука о формах и способах мышления.
Основы формальной логики заложил древнегреческий мыслитель Аристотель.
Логические переменные в алгебре логики обозначаются прописными латинскими буквами, которые могут принимать лишь два значения: «истина» (1) и «ложь» (0).
Логическое умножение (конъюнкция) «И» AÙB
AÙBистинно тогда и только тогда, когда оба высказывания Aи B истинны.
Логическое сложение (дизъюнкция) «ИЛИ» AÚB
AÚBложно тогда и только тогда, когда оба высказывания A и Bложны.
Логическое отрицание (инверсия) «НЕ» ØA,(
)
Логическое отрицание (инверсия) делает истинное выражение ложным и, наоборот, ложное – истинным.
Таблица истинности для основных логических функций
| A
| B
| AÙB конъюнкция
| AÚB дизъюнкция
| ØA инверсия
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
