Логические основы построения компьютера. Основные понятия алгебры логики Алгебра логики – это раздел математики, изучающий выск
Логическое высказывание — это любoе повествовательное пpедлoжение, в oтнoшении кoтopoгo мoжно oднoзначнo сказать, истиннo oнo или лoжнo. Так, например, предложение "6 — четное число" следует считать высказыванием, так как оно истинное. Предложение "Рим — столица Франции" тоже высказывание, так как оно ложное. Употребляемые в обычной речи слова и словосочетания "не", "и", "или", "если... , то", "тогда и только тогда" и другие позволяют из уже заданных высказываний строить новые высказывания. Такие слова и словосочетания называются логическими связками или операциями. Bысказывания, образованные из других высказываний с помощью логических связок, называются составными или сложными. Высказывания, не являющиеся составными, называются элементарными или простыми Логические операции НЕ Операция, выражаемая словом "не" или словосочетанием «неверно, что» называется отрицанием или инверсией и обозначается чертой над высказыванием (или знаком ⌐ ). Высказывание истинно, когда A ложно, и ложно, когда A истинно. А=«Луна — спутник Земли» = «Луна — не спутник Земли» И Операция, выражаемая связкой "и", называется конъюнкцией (лат. conjunctio — соединение) или логическим умножением и обозначается точкой " • " (может также обозначаться знаками или &). Высказывание А & В истинно тогда и только тогда, когда оба высказывания А и В истинны. Например: высказывание "10 делится на 2 и 5 больше 3" истинно, а высказывания:"10 делится на 2 и 5 не больше 3", "10 не делится на 2 и 5 больше 3", "10 не делится на 2 и 5 не больше 3" — ложны.