пользователей: 30398
предметов: 12406
вопросов: 234839
Конспект-online
РЕГИСТРАЦИЯ ЭКСКУРСИЯ

Булевы функции о двух переменных.

Булевой функцией от двух аргументов называется функция g , заданная на множестве {0;1^2 и принимающая значения в двухэлементном множестве {0;1} . Другими словами, булева функция от двух аргументов сопоставляет любой упорядоченной паре, составленной из элементов 0 и 1 (а таких упорядоченных пар будет четыре), либо 0, либо 1.

 

Элементарные функции алгебры логики

х1х2

00

01

10

11

Обозначение ФАЛ

f0

0

0

0

0

тождественный 0, const 0.

f1

0

0

0

1

х1и х2, х1х2, х12, х1х2– конъюнкция,

логическое «и»

f2

0

0

1

0

htmlconvd-eZwkzH_html_12fb23b7.gif- запрет х2; х1, но не х2

f3

0

0

1

1

х1повторение первого аргумента

f4

0

1

0

0

htmlconvd-eZwkzH_html_4369a369.gif- запрет х1; не х1, но х2

f5

0

1

0

1

х2повторение второго аргумента

f6

0

1

1

0

htmlconvd-eZwkzH_html_105090cc.gif,htmlconvd-eZwkzH_html_m7ae20fbc.gif- сложение по модулю 2, неравнозначность

f7

0

1

1

1

х1х2– дизъюнкция, сумма, логическое «или»

f8

1

0

0

0

x1х2– стрелка Пирса, функция Вебба,htmlconvd-eZwkzH_html_35a964b2.gif; логическое “или-не”

f9

1

0

0

1

x1х2– эквивалентность, равнозначность, тождество

f10

1

0

1

0

htmlconvd-eZwkzH_html_54b34d65.gif- отрицание, инверсия второго аргумента

f11

1

0

1

1

x2х1– обратная импликация

f12

1

1

0

0

htmlconvd-eZwkzH_html_181ed637.gif- отрицание первого аргумента

f13

1

1

0

1

x1х2– импликация

f14

1

1

1

0

x1|х2– штрих Шеффера, логическое «и-не »,htmlconvd-eZwkzH_html_3f74315d.gif

f15

1

1

1

1

тождественная 1, константа 1

 

 

Условные приоритеты булевых функций

Каждая булева функция имеет свой приоритет при выполнении элементарных функций.

1. ( )

2. отрицание (htmlconvd-eZwkzH_html_m58ae0d09.gif)

3. & 

4.  


14.01.2017; 23:35
хиты: 507
рейтинг:0
Точные науки
математика
для добавления комментариев необходимо авторизироваться.
  Copyright © 2013-2024. All Rights Reserved. помощь