5.Логические основы устройства компьютера. Логические операции: конъюнкция, дизъюнкция, отрицание и их смысл.

Логическое высказывание — это любoе повествовательное пpедлoжение, в oтнoшении кoтopoгo мoжно oднoзначнo сказать, истиннo oнo или лoжнo.

• Конъюнкция - логическое умножение (от латинского conjunctio - союз, связь): в естественном языке соответствует союзу «И», в алгебре высказываний обозначение «&», в языках программирования обозначение «And».

Конъюнкция - это логическая операция, ставящая в соответствие каждым двум простым (или исходным) высказываниям составное высказывание, являющееся истинным тогда и только тогда, когда оба исходных высказывания истинны. Если хотя бы одно из составляющих высказываний ложно, то и полученное из них с помощью союза «И»сложное высказывание также считается ложным.

В алгебре множеств конъюнкции соответствует операция пересечения множеств, т.е. множеству получившемуся в результате умножения множеств А и В соответствует множество, состоящее из элементов, принадлежащих одновременно двум множествам. 

• Дизъюнкция - логическое сложение (от латинского disjunctio - разобщение, различие): в естественном языке соответствует союзу «ИЛИ», в алгебре высказываний обозначение «V» или «+», в языках программирования обозначение «Or».

Дизъюнкция - это логическая операция, которая каждым двум простым (или исходным) высказываниям ставит в соответствие составное высказывание, являющееся ложным тогда и только тогда, когда оба исходных высказывания ложны и истинным, когда хотя бы одно из двух образующих его высказываний истинно.

В алгебре множеств дизъюнкции соответствует операция объединения множеств, т.е. множеству получившемуся в результате сложения множеств А и В соответствует множество, состоящее из элементов, принадлежащих либо множеству А, либо множеству В.

• Инверсия - отрицание (от латинского disjunctio - разобщение, различие): в естественном языке соответствует словам «неверно, что...» и частице «не», в алгебре высказываний обозначение «¬» или «-», в языках программирования обозначение «Not».

Отрицание - логическая операция, которая с помощью связки «не» каждому исходному высказыванию ставит в соответствие составное высказывание, заключающееся в том, что исходное высказывание отрицается.

В алгебре множеств логическому отрицанию соответствует операция дополнения до универсального множества, т.е. множеству получившемуся в результате отрицания множества А соответствует множество, дополняющее его до универсального множества.