ВУЗ:
Составители:
Рубрика:
51
Выбранная таким образом совокупность шести функций является
избыточной, т.к. импликация и эквиваленция выражается через остальные
функции этой совокупности:
Для доказательства этого достаточно построить таблицу соответствия и
сравнить ее с таблицей 2.3.
Таблица 2.4
Таблица соответствия булевых функций импликации и эквиваленции
Таким образом, комплект элементарных функций сокращается до
четырёх:
Этот комплект обладает существенными удобствами и часто
применяется на практике, но и он может быть сокращен. Так, из законов де
Моргана и свойства двойного отрицания вытекают тождества:
Отсюда следует, что булевы функции двух переменных выражаются
через:
Более того, для записи любой булевой функции достаточно только
одной из двух элементарной функций:
y
8
- стрелки Пирса или
y
14
- штриха Шефера.
Страницы
- « первая
- ‹ предыдущая
- …
- 49
- 50
- 51
- 52
- 53
- …
- следующая ›
- последняя »
