Булова функција: Разлика помеѓу преработките
| [непроверена преработка] | [непроверена преработка] |
сНема опис на уредувањето |
с Бот Додава: uk:Булева функція; козметички промени |
||
| Ред 3: | Ред 3: | ||
Секоја ''k''-арна Булова формула може да се изрази како [[исказ]]на формула во ''k'' променливи ''x''<sub>1</sub>,…,''x''<sub>k</sub>, а две исказни формули се [[логичка еквиваленција|логички еквивалентни]] [[ако и само ако]] ја изразуваат истата Булова функција. За секое ''k'' има <math>2^{(2^k)}</math> ''k''-арни функции. |
Секоја ''k''-арна Булова формула може да се изрази како [[исказ]]на формула во ''k'' променливи ''x''<sub>1</sub>,…,''x''<sub>k</sub>, а две исказни формули се [[логичка еквиваленција|логички еквивалентни]] [[ако и само ако]] ја изразуваат истата Булова функција. За секое ''k'' има <math>2^{(2^k)}</math> ''k''-арни функции. |
||
==Буловите функции во програмите== |
== Буловите функции во програмите == |
||
Буловата функција опишува како да се одреди [[Логички тип на податоци|Булово-вреднуван]] извод заснован на извесна [[Булова логика|логичка]] пресметка од Булови вносови. Ваквите функции играат основна улога кај прашањата за [[теорија на сложеноста|теоријата на сложеноста]] како и дизајн на кола и чипови кај [[дигитален компјутер|дигиталните компјутери]]. Својствата на Буловите функци играат стожерна улога во [[криптографијата]], особено кај дизајнот на [[симетрична криптографија|симетрични клучни алогирми]] (видете [[кутија за замена]]). |
Буловата функција опишува како да се одреди [[Логички тип на податоци|Булово-вреднуван]] извод заснован на извесна [[Булова логика|логичка]] пресметка од Булови вносови. Ваквите функции играат основна улога кај прашањата за [[теорија на сложеноста|теоријата на сложеноста]] како и дизајн на кола и чипови кај [[дигитален компјутер|дигиталните компјутери]]. Својствата на Буловите функци играат стожерна улога во [[криптографијата]], особено кај дизајнот на [[симетрична криптографија|симетрични клучни алогирми]] (видете [[кутија за замена]]). |
||
Буловите функции честопати се претставени со реченици во [[исказна логика|исказната логика]], а понекогаш и со повеќепроменливи [[полином]]и над [[конечно поле|GF]](2), но поефикасно се претставуваат по пат на [[бинарен одлучен дијаграм|бинарни одлучни дијаграми]], [[негациска нормална форма|негациски нормални форми]] и [[исказен насочен ацикличен график|исказни насочени ациклични графици]]. |
Буловите функции честопати се претставени со реченици во [[исказна логика|исказната логика]], а понекогаш и со повеќепроменливи [[полином]]и над [[конечно поле|GF]](2), но поефикасно се претставуваат по пат на [[бинарен одлучен дијаграм|бинарни одлучни дијаграми]], [[негациска нормална форма|негациски нормални форми]] и [[исказен насочен ацикличен график|исказни насочени ациклични графици]]. |
||
==Видете исто така== |
== Видете исто така == |
||
{{Col-begin}} |
{{Col-begin}} |
||
{{Col-break|width=30%}} |
{{Col-break|width=30%}} |
||
| Ред 40: | Ред 40: | ||
[[fr:Fonction booléenne]] |
[[fr:Fonction booléenne]] |
||
[[it:Funzione booleana]] |
[[it:Funzione booleana]] |
||
| ⚫ | |||
[[ja:ブール関数]] |
[[ja:ブール関数]] |
||
| ⚫ | |||
[[ru:Булева функция]] |
[[ru:Булева функция]] |
||
[[uk:Булева функція]] |
|||
[[zh:布尔函数]] |
[[zh:布尔函数]] |
||
Преработка од 08:47, 25 јануари 2010
Во математиката, (конечносна) Булова функција е функција од обликот f : Bk → B, каде B = {0, 1} е Булов домен, а k е ненегативен цел број наречен арност на функцијата. Во случај кадешто k = 0, „функцијата“ е во суштина константен елемент на B.
Секоја k-арна Булова формула може да се изрази како исказна формула во k променливи x1,…,xk, а две исказни формули се логички еквивалентни ако и само ако ја изразуваат истата Булова функција. За секое k има k-арни функции.
Буловите функции во програмите
Буловата функција опишува како да се одреди Булово-вреднуван извод заснован на извесна логичка пресметка од Булови вносови. Ваквите функции играат основна улога кај прашањата за теоријата на сложеноста како и дизајн на кола и чипови кај дигиталните компјутери. Својствата на Буловите функци играат стожерна улога во криптографијата, особено кај дизајнот на симетрични клучни алогирми (видете кутија за замена).
Буловите функции честопати се претставени со реченици во исказната логика, а понекогаш и со повеќепроменливи полиноми над GF(2), но поефикасно се претставуваат по пат на бинарни одлучни дијаграми, негациски нормални форми и исказни насочени ациклични графици.
Видете исто така
Наводи
- Digital Design, Mano. M. Morris
Грешка во Lua во package.lua, ред 80: module 'Module:Portal/images/l' not found
| ||||||||||||||||||||||