2015-05-30
1345
Для описания того, как функционируют аппаратные средства компьютера очень удобен математический аппарат алгебры логики, поскольку основной системой счисления в компьютере является двоичная, в которой используются цифры 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 инверсия |
