В основе информатики лежит двоичная система исчисления (неверное высказывание принимается за 0, а верное – за 1), которая, в свою очередь, подходит для работы с логическими операциями. Выделяют следующие логические операции:
отрицание (инверсия) заключается в том, что если исходное выражение является истинным, то в результате получается ложь и наоборот;
сложение (дизъюнкция) заключается в том, что если одно из выражений истинное или они оба, то результат – истина. Если оба выражения ложны, то результат – ложь;
умножение (конъюкция) заключается в том, что если оба выражения обозначают истину, то в результате получается истина, но если хотя бы одно из выражений – ложь, то и результат – ложь;
следствие (импликация) – заключается в том, что из правды не может следовать ложь;
равенство (эквивалентность) – использование заключений с выражением «тогда и только тогда».
отрицание (инверсия) заключается в том, что если исходное выражение является истинным, то в результате получается ложь и наоборот;
сложение (дизъюнкция) заключается в том, что если одно из выражений истинное или они оба, то результат – истина. Если оба выражения ложны, то результат – ложь;
умножение (конъюкция) заключается в том, что если оба выражения обозначают истину, то в результате получается истина, но если хотя бы одно из выражений – ложь, то и результат – ложь;
следствие (импликация) – заключается в том, что из правды не может следовать ложь;
равенство (эквивалентность) – использование заключений с выражением «тогда и только тогда».
Теги: информатика, логические операции