- Заглавие: ЛОГИЧЕСКИЕ ОПЕРАЦИИ
- Год актуализации: 2014
- УДК: 004 Информационные технологии. Вычислительная техника...
- ББК: 3281 Кибернетика
- Тематики:
ИНФОРМАТИКА
- Биб. карточка:
ЛОГИЧЕСКИЕ ОПЕРАЦИИ [Архитектура ЭВМ: Уч. пос. / В.Д. Колдаев - М.: ИД ФОРУМ: НИЦ ИНФРА-М, 2017. - 384 с.(ПО) (п) ISBN:978-5-8199-0373-5]
- Источник публикации: Архитектура ЭВМ: справочник
- Фрагмент статьи: ЛОГИЧЕСКИЕ ОПЕРАЦИИ В алгебре логики рассматриваются переменные, которые могут принимать только два значения: 0 и 1. Переменные будем обозна- чать латинскими буквами x, y, z, ..., m, а также x0, x1,..., xn, y0, y1,..., yп и т. д. Отношение эквивалентности (равенства) удовлетворяет следу- ющим свойствам: рефлексивность: x = x; симметричность: если x = у, то y = x; транзитивность: x = у и у = z, то x = z, отсюда следует принцип, если x = y, то в любой формуле, содержащей x, вместо x можно подставить у, и в результате будет получена эквивалентная формула. Пусть x1,
