Логические операции – действия, в результате которых существующие понятия изменяются либо образуются новые. Рассмотрим их основные признаки.
Конъюнкция
Выражение также называют логическим умножением. Его истинность сохраняется только в одном случае: при истинности простых выражений в его составе. В обратном случае выражение принимает значение ложного.
Главные ее свойства:
· При ложности хотя бы одного выражения все сложное выражение будет ложным.
· При истинности всех простых выражений сложное выражение является истинным.
· Значение сложного выражения независимо от последовательности простых выражений.
Дизъюнкция
Данное выражение также называют логическим сложением. Оно истинно почти всегда, за исключением ситуации, когда все подвыражения ложны.
Главные тезисы:
· В случае, когда хотя бы одно выражение истинно, вся дизъюнкция становится истинной.
· В случае, когда все выражения ложны, вся дизъюнкция становится ложной.
· Значение дизъюнкции независимо от последовательности простых подвыражений.
Инверсия
Инверсия (также называемая логическим отрицанием) заключается в добавлении частицы «не» к выражению. В случае, когда изначальное выражение истинно, его отрицание – ложь. Если изначальное выражение ложь, его отрицание является истиной.
Импликация
Данное выражение истинно в любом случае за исключением, когда из истинного следует ложное. Импликация объединяет подвыражения, среди которых одно - условие, а второе – его следствие.
Эквивалентность
Данное выражение также называют логической равнозначностью. Она является истинной на равных наборах значений переменных.
Не каждый студент может себе позволить за семестр в ВУЗе отдать 100 000 ₽. Но круто, что есть гранты на учебу. Грант-на-вуз.рф – это возможность учиться на желанной специальности. По ссылке каждый получит бонус от 300 ₽ до 100 000 ₽ – грант-на-вуз.рф
Строгая дизъюнкция
Выражение также называют сложением по модулю. Оно истинно только в случае, при котором значения аргументов не являются равными. К характеристикам строгой дизъюнкции относят отрицание, получение 0, коммутативность, ассоциативность, поглощение, сравнение по модулю, идемпотентность.
Стрелка Пирса
Это булева функция над двумя переменными. С ее помощью возможно выстроить любые логические операции. Функции дано название в честь американского логика Чарльза Пирса.
Штрих Шеффера
Это бинарная операция логики, которая образует базис для булевых функций двух переменных. Используется в алгебре логики с 1913 года.
Напоминаем про сервис грант-на-вуз.рф. Не упусти свой шанс изучать то, что тебе нравится. Ну или просто сэкономить на учебе. Ты точно получишь от 300 ₽ до 100 000 ₽, перейдя по ссылке грант-на-вуз.рф!