КАТЕГОРИИ:
Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748)
Булевы функции двух переменных
|
|
|
|
| Обозначение | Название | ||||
| ||||||
| Константа 0 (тождественный 0) | |||||
| 
| Конъюнкция (логическое «и», произведение) | ||||
| 
| Отрицание импликации | ||||
|
| Повторение первого аргумента | ||||
| 
| Отрицание обратной импликации | ||||
|
| Повторение второго аргумента | ||||
| 
| Сумма по модулю два (антиэквивалентность, неравнозначность) | ||||
| 
| Дизъюнкция (логическое «или», логическая сумма) | ||||
| 
| Стрелка Пирса (отрицание дизъюнкции, логическое «не-или») | ||||
| 
| Эквиваленция (равнозначность) | ||||
| 
| Отрицание (инверсия) второго аргумента | ||||
| 
| Обратная импликация | ||||
| 
| Отрицание (инверсия) первого аргумента | ||||
| 
| Импликация (следование) | ||||
| 
| Штрих Шеффера (отрицание конъюнкции, логическое «не-и») | ||||
| Константа 1 (тождественная 1) |
Рассмотрение булевых функций одной, двух и большего числа переменных показывает, что всякая функция от меньшего числа переменных содержится среди функций большего числа переменных. Функции, которые сводятся к зависимости от меньшего числа переменных, называют вырожденными, а функции, существенно зависящие от всех переменных, являются невырожденными.
Заменяя входящие в функции переменные другими функциями, можно получить логические функции любого числа переменных. Две логические функции считаются равносильными, если при любых значениях аргументов они принимают равные значения. Доказать равносильность двух функций можно, построив для них таблицы соответствия.
|
|
|
|
|
|
|
Дата добавления: 2014-01-13; Просмотров: 414; Нарушение авторских прав?; Мы поможем в написании вашей работы!