Булевы функции Основные свойства и теоремы
Булева функция – функция, аргументы которой заданы на двухэлементном множестве {0, 1}, и сама она принимает значения на том же множестве.
Аргументы булевых функций принято обозначать строчными латинскими буквами: f(x1, x2, …, xn) : {0, 1}n → {0, 1}.
Теорема: Всякая булева функция может быть представлена в виде суперпозиции конъюнкции, дизъюнкции и отрицания (причем знак отрицания стоит только непосредственно около переменной и не стоит после внутренних скобок).
Значит, каждой формуле алгебры высказываний можно поставить в соответствие булеву функцию. Здесь же стоит отметить, что также термины СДНФ и СКНФ можно применить и к булевым функциям.
Свойства булевых функций, необходимые при их преобразовании:
Название свойства | В применении к дизъюнкции | В применении к конъюнкции |
Идемпотентность | xVx = x | xx = x |
Коммутативность | xVy = yVx | xy = yx |
Ассоциативность | (xVy) Vz = xV(yVz) | (xy)z = x(yz) |
Дистрибутивность | xV(yz) = (xVy)(xVz) | x(yVz) = (xy)V(xz) |
Свойство единицы | xV1 = 1 | x*1 = x |
Свойство нуля | xV0 = x | x*0 = 0 |
Поглощение | xV(yx) = x | x(yVx) = x |
| xVx’ = 1 | xx’ = 0 |
Законы де Моргана | (xVy)’ = x’y’ | (xy)’ = x’Vy’ |
Отрицание отрицания | x’’ = x |
|
Взаимосвязь функций | xVy = (x→ y)→ y |
|
| xVy = x’→ y |
|
| x→ y = x’Vy |
|
| x ↔ y = (x→ y)(y→ x) |
|
Принцип работы релейно-контактной схемы
Реле́ — электромагнитный аппарат (переключатель), предназначенный для коммутации электрических цепей (скачкообразного изменения выходных величин) при заданных изменениях электрических или не электрических входных величин. Широко используется в различных автоматических устройствах.
Различают электрические, пневмати-ческие (температурные), механические виды реле, но наибольшее распространение получили электрические (электромагнит-ные) реле.
Якорь — пластина из магнитного материала, через толкатель управляющая контактами. При пропускании электрического тока через обмотку электромагнита возникающее магнитное поле притягивает к сердечнику якорь, который через толкатель смещает и тем самым переключает контакты. Переключатели могут быть замыкающими, размыкающими, переключающими.
Под релейно-контактной схемой понимают устройство из проводников и двухпозиционных контактов, через которое полюсы источника тока связаны с некоторым потребителем. Контакты могут быть замыкающими или размыкающими. Каждый контакт подключен к некоторому реле (переключателю). Когда реле срабатывает (находится под током), все подключенные к нему замыкающие контакты замкнуты, а размыкающие, с оответственно, разомкнуты; в противном случае – наоборот.
- Базовые понятия математической логики
- Алгебра высказываний
- Формулы алгебры высказываний
- Совершенные нормальные формы
- Булевы функции Основные свойства и теоремы
- Математическая модель представления релейно-контактных схем с помощью булевых функций
- Сумматоры.
- Четвертьсумматор
- Двоичный полусумматор
- Одноразрядный двоичный сумматор.
- Заключение