Логически функция - е сложна задача, която се получава чрез провеждане на логически операции на прости отчети.

основните логически операции се използват най-често за формиране на сложни изречения. изразени с помощта на логически connectives "и", "или", "не".
Например,

Много хора не обичат влажно време.

Нека A = "Много хора обичат дъждовното време." Получават логическа функция F (A) = не A.

Групи "НЕ", "И", "ИЛИ" логически операции се заменят с инверсия. връзка. дизюнкция. Това е основната логически операции. чрез която можем да пишем всякакъв вид Булев израз.

Логическият експресията (булеви експресия) - формула, съдържаща само логическите стойности и логически операции знаци. В резултат на изчисляване на логическа формула е вярно (1) или не (0).

Стойността на логическата функция зависи от стойностите на нейните съставни логически променливи. Поради това, че стойността на логическата функция може да бъде идентифициран чрез специална таблица (истина маса), в който са изброени всички възможни стойности на входящите логически променливи и съответните стойности на функцията.

Основните (основен) логически операции:

1. логически размножаването (връзка). от латински. konjunctio - свързват:
• Комбинирането на две (или повече) на един от изявления чрез И съюз;
• В езиците за програмиране - И.
• Наименованията: / \. • и и.
• алгебра на масивите съответства на съвпадението във времето на действието на пресичане на комплекти.

Съвпадът е вярно, ако и само ако всички негови съставни твърдения са верни.

например:
Помислете съединение изявление "2 • 2 = 4 3 = 3 • 10". Различаваме прости твърдения:
А = "2 • 2 = 4" = 1 (тъй като това е вярно твърдение)
V "3 • 3 = 10" = 0 (тъй като това е невярно съдържание)
Следователно логика функция F (А, В) = A / \ B = 1 / \ 0 = 0 (по маса истина), т.е. настоящото отчета съединение е погрешно.

2. логически прибавяне (дизюнкция). от латински. disjunctio - Разграничаване:
• Комбинирането на две (или повече) на един от изявления чрез съюз, или;
• В езиците за програмиране - Or.
• Символ: \ /, +, или, или.
• В алгебра определя операцията дизюнкция съответства на обединението на комплекти.

Разделение е лъжа, ако и само ако всички негови съставни твърдения са неверни.

например:
Помислете съединение изявление "= 2 • 2 • 2 или 4 2 = 5". Различаваме прост Deliv-свързващ:
А = "2 • 2 = 4" = 1 (тъй като това е вярно твърдение)
V "2 = 2 • 5" = 0 (тъй като това е невярно съдържание)
Следователно логика функция F (А, В) = A \ / B = 1 \ / 0 = 1 (според масата истина), т.е. настоящото отчета съединение е вярно.

3. отрицание (инверсия). от латински. Инверсия - аз флип:

• Отговаря на частици, които не са, фрази вярно, че или не е истина, която;
• програмни езици - Не;
• Определяне: не А, ¬A, не
• В комплекта алгебра логично отрицание отговаря за допълване на работа на универсалната комплекта.

I инверсия логика променлива е вярно, ако самото променлива е фалшива, и обратно, обратното е вярно, ако променливата е вярно.

¬A = не е вярно, че два пъти две е четири,> = 0.

Помислете за изявлението на "Луната - спътник на Земята"; След това ¬A да се формулира по следния начин: ". Луната - не на Земята сателит"

Помислете за следното твърдение: "Това не е вярно, че 4, разделено на 3". "4 е разделена на три" означават лесно изказване. След това логично формата на отрицание на това твърдение е от вида ¬A

Приоритет логически операции:

Операциите с логически израз от ляво на дясно, с оглед на скобите в следния ред.
1. инверсия;
2. връзка;
3. дизюнкция;
За да промените реда на изпълнение на посочените логически операции се използват скоби.

Композитните логически изрази наречени Пропозиционални алгебра формули.
Вярно или невярно стойност на формулата може да бъде определена от законите на Булева без да се прибягва до чувството за:
F = (0 \ / 1) / \ (¬0 \ / ¬1) = (0 \ / 1) / \ (1 \ / 0) = 1 / \ 1 = 1 - истината
F = (¬0 / \ ¬1) \ / (¬1 \ / ¬1) = (1 / \ 0) \ / (0 \ / 0) = 0 \ / 0 = 0 - лъжа