| МОУ Лицей №4. г. Люберцы 2010 г |
| Байрамов Ренат. 9 «Б» |
| Экзамен по «Информатике и ИКТ». |
Логическая переменная - это переменная, которая принимает два значения: Правда и Ложь (false, 0) и (true, 1).
Логическая функция - является логической переменной, аргументы её - логические переменные и она определенна для всех возможных сочетаний значений своих аргументов.
Один из способов задания логической функции - таблицы истинности. Доказано, что любую логическую функцию можно представить с помощь трех базовых функций (операций).
Отрицание Не, Not, инверсия, - логическая операция, которая логической переменной ставит соответствие иную - противоположную по значению логическую переменную. Логическая операция отрицание задается следующей таблицей истинности:
Дизъюнкция Или, OR, логическое сложение - логическая операция, которая каждым двумя логическими переменными ставит в соответствие логической переменной, являющуюся ложной тогда и только тогда, когда оба исходных высказывания ложны. Логическая операция дизъюнкция определяется таблицей истинности: Дизъюнкция истинна, когда хотя бы одно из двух образующих ее высказываний истинно.
Конъюнкция И, AND, логическое умножение - логическая операция, ставящая в соответствие каждым двум элементарным высказываниям новое высказывание, являющееся истинным тогда и только тогда, когда обе исходных логической переменной истинны. Логическая операция конъюнкция определяется следующей таблицей истинности:
Другими важными логическими функциями ( выраженными с помощью трех базовых функций) являются.
Импликация IMP, - логическая операция, ставшая в соответствии двум логическими переменными, являющееся ложным тогда и только тогда, когда условие (посылка) - истинно, а следствие (заключение) - ложно. Логическая операция импликация задается следующей таблицей истинности:
Эквивалентность EQL, - логическая операция, ставящая в соответствие двум элементарным логическими переменными новое, являющееся истинным тогда и только тогда, когда обе исходных логических переменных одновременно истины или одновременно ложны. Логическая операция эквивалентность задается следующей таблицей истинности: Всего булевых функций от 2 переменных - 16.