Элементы комбинаторики, теория множеств и математической логики
Логические переменные и логические операции Простые высказывания в алгебре логики обозначаются заглавными латинскими буквами: А, В, С, D,… и т. д. Составные высказывания на естественном языке образуются с помощью союзов. В алгебре логики эти союзы заменяются логическими операциями. В соответствии с алгеброй логики любое составное высказывание можно рассматривать как логическую функцию F(А, В, С, …). Например: F(A,B)= A and B Логические функции и логические переменные (аргументы) принимают только два значения: «истина», которая обозначается логической единицей – 1 и «ложь», обозначаемая логическим нулем – 0. Логическую функцию называют также предикатом. Действия, совершаемые над логическими переменными для получения определенных логических функций, называются логическими операциями. 1. Логическая операция ИНВЕРСИЯ (отрицание). В естественных языках соответствует словам неверно, ложь или частице не, в языках программирования обозначается Not, в алгебре логики обозначается Результат отрицания всегда противоположен значению аргумента. Например: F=not(A) F= ¬ A F=