Математические основы информатики. Логические операции

Высказывания бывают простыми и сложными. Высказывание называется простым, если никакая часть сама не является высказыванием. Сложные (составные) Высказывания строятся из простых с помощью логических операций.

          Основные логические операции:

• Инверсия : «не»; «не верно, что»
• Конъюнкция:»и»; «а»; «но»; «хотя»
• Дизъюнкция:»или»

Конъюнкция — логическая операция, ставящая в соответствие двум высказываниям новое высказывание, являющееся истинным тогда и только тогда, когда оба высказывание истинны.

Обозначается: И; &; ∧.

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

Обозначается: ИЛИ; +; | ; ∨.

Инверсия — логическая операция, которая высказыванию ставит в соответствие новое высказывание, значение которого противоположно исходному.

Обозначается: ¬; НЕ;