20463

Бу́лева фу́нкція (функція алгебри логіки, логічна функція)

Доклад

Информатика, кибернетика и программирование

Булева функція задається у вигляді таблиці або графіка зі стандартним лексикографічним розташуванням наборів аргументів. Нульарними булевими функціями є сталі 0 і 1. Функції 0 і 1 називаються тотожними нулем і одиницею функція x тотожною запереченням.

Украинкский

2013-07-25

22.02 KB

1 чел.

Бу́лева фу́нкція (функція алгебри логіки, логічна функція) — в дискретній математиці відображення BnB, де B = {0,1} — булева множина.

Bn — множина всіх можливих послідовностей з 0 та 1 довжини n.

Булева функція задається у вигляді таблиці, або графіка зі стандартним (лексикографічним) розташуванням наборів аргументів.

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

Очевидно, що множина всіх можливих наборів довжини , тобто множина n-арних булевих функцій, складається з елементів. При n=0 це 2, при n=1 — 4, при n=2 — 16, при n=3 — 256 тощо.

Нуль-арними булевими функціями є сталі 0 і 1.

Функції 0 і 1 називаються тотожними нулем і одиницею, функція x — тотожною, — запереченням. Замість виразу вживається ще вираз . Ці вирази читаються як «не x».

Подамо також деякі з 16 бінарних функцій разом із їх позначеннями:

Функція, позначена виразом , називається кон'юнкцією і позначається ще як x&y, або xy. Усі ці вирази читаються як «x і y».

Табли́ця і́стинності — математична таблиця, що широко використовується у математичній логіці зокрема в алгебрі логіки, численні висловлень для обчислення значень булевих функцій.

Під «логічною функцією» (також логічною операцією) в даному випадку розуміється функція, у котрої значення змінних (параметрів функції) і значення самої функції виражають логічну істинність.

Наприклад, в двозначній логіці вони можуть приймати значення «істина» або «хиба» ( або , або ).

Табличне задання функцій зустрічається не тільки в логіці, але для логічних функцій таблиці виявилися особливо зручними


 

А также другие работы, которые могут Вас заинтересовать

14885. Өнер және бейнелеу 48.5 KB
  Өнер және бейнелеу Рухани мәдениетіміздің зерттелу тарихын дәл мына уақыттан басталды деп басып айту қиын. Халықтық мәдениет қаншалықты көне болса оның зерттелу тарихы да соншалықты тереңге таратады. Сол сияқты рухани мұрамыздың жиналу саралану насихатталуы да тер...
14886. Болат Сарыбаев 34.5 KB
  Болат Сарыбаев Сарыбаев Болат 1927-1984 музыкатанушы өнертану кандидаты. Құрманғазы атындағы Алматы мемлекеттік консерваториясын қобыз класы бойынша бітірген мұнан соң халық аспаптар кафедрасында дәріс берген бір мезгілде қазақтың халықтық музыкалық аспаптар...
14887. Саят құстары және олардың жаратылыстағы ерекшеліктері 75 KB
  Саят құстары және олардың жаратылыстағы ерекшеліктері Академик Әлкей Марғұлан Дала данышпанының таяуда табылған Саят құстары атты зерттеу мақаласы өз өмірінің қысылтаяң тұстарында жазылған. 1934-1939 және 1947-1953 жылдары академиялық іргелі ғылыммен айналысудан ше
14888. ТҮРКІСТАННЫҢ ИСЛАМ ӘЛЕМІНДЕГІ ЕРЕКШЕ ОРНЫ 101.5 KB
  ТҮРКІСТАННЫҢ ИСЛАМ ӘЛЕМІНДЕГІ ЕРЕКШЕ ОРНЫ Мұртаза БҰЛҰТАЙ Ислами әдебиеттерде көбінесе Йесе Йеси деп аталатын заманауи Түркістан шаһарының діни тарихи әлеуметтік маңызын екшемес бұрын Түркістан сөзінің мағнасын сәл талдап көрелік. VIIғасырда Орта Аз
14889. ҚАЗАҚТЫҢ ҰЛТТЫҚ АҒАШ ОЮ-ӨРНЕГІНІҢ ЭТНО-МӘДЕНИ ҚЫЗМЕТІ 56.5 KB
  ҚАЗАҚТЫҢ ҰЛТТЫҚ АҒАШ ОЮӨРНЕГІНІҢ ЭТНОМӘДЕНИ ҚЫЗМЕТІ F. Құрманқұлова Ы.Алтынсарин атындағы № 49 мектепгимназия Тараз қ. Қазақстан Республикасының Президенті Н.Назарбаев өзінің 2003 жылғы 4 сәуірде Қазақстан халқына арналған Жолдауында Біз өз мәдениетіміздің құ...
14890. ҰЛТТЫҚ ҚОЛ ӨНЕР - ЭСТЕТИКАЛЫҚ ТӘРБИЕНІҢ НЕГІЗІ 40.5 KB
  ҰЛТТЫҚ ҚОЛ ӨНЕР ЭСТЕТИКАЛЫҚ ТӘРБИЕНІҢ НЕГІЗІ Ахман Сұхбан Л.Н.Гумилев атындағы Еуразия Ұлттық университеті Астана қаласы Халқымыз қолөнерді ертеден қастерлеп бағалай білген. Атадан балаға ұласып келе жатқан осы дәстүр кейбір жерлерде ұмытыла бастағ...
14891. ЭТНОМӘДЕНИЕТ ҚҰНДЫЛЫҚТАРЫ – ОТАНСҮЙГІШТІК ҚАСИЕТТЕРДІ ҚАЛЫПТАСТЫРУ ҚҰРАЛЫ 44 KB
  ЭТНОМӘДЕНИЕТ ҚҰНДЫЛЫҚТАРЫ ОТАНСҮЙГІШТІК ҚАСИЕТТЕРДІ ҚАЛЫПТАСТЫРУ ҚҰРАЛЫ Ә.О. Қамақ Тараз мемлекеттік педагогикалық институты Тараз қ. Адамзат тарихының беттерін ақтара отырып әлем құрлықтарында өмір кешкен халықтар ғасырлар бойы тәуелсіздік үшін күрес
14892. ҰЛТТЫҚ ӨНЕР ШЕБЕРІ С.А. ТӨЛЕНБАЕВТЫҢ ШЫҒАРМАШЫЛЫҒЫ 50.5 KB
  ҰЛТТЫҚ ӨНЕР ШЕБЕРІ С.А. ТӨЛЕНБАЕВТЫҢ ШЫҒАРМАШЫЛЫҒЫ А.Ә. Сихаев. Н.Б. Раимов Тараз мемлекеттік педагогикалық институты Тараз қ. Бұл мақаладағы біздің мақсатымыз қазақтың топ оюөрнек өнерінің тарихи сыры мен оны дамытушы шеберлердің маңызын аша түсу болып санала
14893. Ұлттық суретшілердің рухани әлемі 126.5 KB
  Ұлттық суретшілердің рухани әлемі Қазақстан Республикасы мемлекеттік саясатының әлеуметтікмәдени дамуы жөніндегі тұғырнамасында Республикада тұратын барлық халықтар мәдениетінің өзіндік ерекшелігіне тиісті көңіл бөлінетіндігі және кез келген мәдениет қайтала