логічна операція

1. У мовах програмування [ правити | правити код ]

Матеріал з Вікіпедії - вільної енциклопедії

В логіці логічними операціями називають дії, внаслідок яких породжуються нові поняття , З використанням вже існуючих. У більш вузькому сенсі, поняття логічної операції використовується в математичній логіці і програмуванні .

Логічні операції з поняттями - такі розумові дії, результатом яких є зміна змісту або обсягу понять, а також утворення нових понять .

До операцій, які пов'язані переважно зі зміною змісту понять, відносяться:

До операцій, які пов'язані переважно з обсягами понять, відносяться:

Дані операції можуть бути записані математично за допомогою теорії множин .

Перехід же до математичній логіці пов'язаний з поняттям суджень і встановленням операцій над ними з метою отримання складних суджень.

Логічна операція (логічний оператор, логічна зв'язка, пропозіціональная зв'язка) - операція над висловлюваннями , Що дозволяє складати нові висловлювання шляхом з'єднання більш простих [1] .

В якості основних зазвичай називають кон'юнкцію (∧ {\ displaystyle \ land} або &), диз'юнкцію (∨ {\ displaystyle \ lor} ), імплікації (→ {\ displaystyle \ to} ), заперечення (¬ {\ displaystyle \ neg} ). В сенсі класичної логіки логічні зв'язки можуть бути визначені через алгебру логіки . У асинхронної секвенціальной логіці визначена логіко-динамічна зв'язка у вигляді операції вен'юнкціі (∠ {\ displaystyle \ angle} ).

Логічна операція - в програмуванні операція над виразами логічного (булевского) типу , Відповідна деякої операції над висловлюваннями в алгебри логіки . Як і висловлювання, логічні вирази можуть приймати одне з двох істиннісних значень - «істинно» чи «хибно». Логічні операції служать для отримання складних логічних виразів з простіших. У свою чергу, логічні вирази зазвичай використовуються як умови для управління послідовністю виконання програми.

У деяких мовах програмування (наприклад, в мові Сі ) Замість логічного типу або одночасно з ним використовуються числові типи . У цьому випадку вважається, що відмінне від нуля значення відповідає логічній істині, а нуль - логічної брехні.

значення окремого біта також можна розглядати як логічне, якщо вважати, що 1 означає «істинно», а 0 - «помилково». Це дозволяє застосовувати логічні операції до окремих бітам, до бітовим векторах покомпонентно і до чисел в двійковому поданні поразрядно. Таке одночасне застосування логічної операції до послідовності бітів здійснюється за допомогою побітових логічних операцій . Побітові логічні операції використовуються для оперування окремими бітами або групами бітів, застосовуються для накладення бітових масок, виконання різних арифметичних обчислень.

Серед логічних операцій найбільш відомі кон'юнкція (&&), диз'юнкція (||), заперечення (!). Їх нерідко плутають з бітовими операціями, хоча це різні речі. Наприклад, наступний код на мові Сі :

if (action_required && some_condition ()) {/ * якісь дії * /}

не виконає виклик підпрограми some_condition (), якщо значення логічної змінної action_required помилково. При такій операції другий аргумент операції «&&» взагалі не буде вирахувано.

У мовах програмування [ правити | правити код ]

У наступній таблиці для деяких мов програмування наведені вбудовані оператори та функції, що реалізують логічні операції.