ЛОГИЧЕСКИЕ ОПЕРАЦИИ

ЛОГИЧЕСКИЕ ОПЕРАЦИИ В алгебре логики рассматриваются переменные, которые могут принимать только два значения: 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,...

Год актуализации: 2014

Источник публикации: Архитектура ЭВМ: справочник

Тематика:

ИНФОРМАТИКА

Похожее:

ЛОГИЧЕСКИЕ ОПЕРАЦИИ // Архитектура ЭВМ: справочник. 2014. URL branch.znanium.ru/read/910281 (дата обращения 19.06.2026)

ЛОГИЧЕСКИЕ ОПЕРАЦИИ

ЛОГИЧЕСКИЕ ОПЕРАЦИИ Логические операции применяются к операндам логического типа, т. е. в качестве операндов выступают выражения, при вычис- лении дающие результат логического типа. Результат выполнения логических операций тоже логического типа. Вычисление логиче- ских выражений происходит в соответствии с таблицами истинно-...

сти логических операций (см. табл. 1.7–1.9). Таблица 1.7. Таблицы истинности конъюнкции и логической суммы высказываний Конъюнкция Дизъюнкция А В A ˄ B А В A ˅ B A xor B Таблица 1.8. Таблица истинности отрицания А 𝐴̅ Таблица 1.9. Таблицы истинности операций эквивалентности и им- пликации Эквивалентность Импликация А В А ~ В А В А → В Примеры записи...

Год актуализации: 2013

Источник публикации: Языки программирования: справочник

Тематика:

ИНФОРМАТИКА

Похожее:

ЛОГИЧЕСКИЕ ОПЕРАЦИИ // Языки программирования: справочник. 2013. URL branch.znanium.ru/read/897033 (дата обращения 19.06.2026)

ЛОГИЧЕСКИЕ ОПЕРАЦИИ И БАЗОВЫЕ ЭЛЕМЕНТЫ КОМПЬЮТЕРА

ЛОГИЧЕСКИЕ ОПЕРАЦИИ И БАЗОВЫЕ ЭЛЕМЕНТЫ КОМ- ПЬЮТЕРА В алгебре высказываний над высказываниями можно произво- дить определенные логические операции, в результате которых получаются новые высказывания. Истинность результирующих высказываний зависит от истинности исходных и использованных для их преобразования логических операций. Схемные элементы...

ЭВМ. Преобразование информации в ЭВМ осуществляется элементами (схемами) двух классов:  комбинационными;  последовательностными (схемами с памятью). Состояние выходов к о м б и н а ц и о н н ы х с х е м однозначно определяется состояниями входов в данный момент времени. Со- стояние выходов в п о с л е д о в а т е...

Год актуализации: 2013

Источник публикации: Архитектура ЭВМ и вычислительных систем: справочник

Тематика:

ИНФОРМАТИКА

Похожее:

ЛОГИЧЕСКИЕ ОПЕРАЦИИ И БАЗОВЫЕ ЭЛЕМЕНТЫ КОМПЬЮТЕРА // Архитектура ЭВМ и вычислительных систем: справочник. 2013. URL branch.znanium.ru/read/907085 (дата обращения 19.06.2026)

ЛОГИЧЕСКИЕ ОСНОВЫ И ЭЛЕМЕНТЫ ЭВМ

ЛОГИЧЕСКИЕ ОСНОВЫ И ЭЛЕМЕНТЫ ЭВМ Начало исследований в области формальной логики было поло- жено работами Аристотеля в IV в. до нашей эры. Однако строго формализованный подход к проблеме впервые был предложен Дж. Булем. В честь него алгебру высказывания называют б...

у л е в о й ( б у л е в с к о й ) а л г е б р о й , а логические значения – б у л е - в ы м и ( б у л е в с к и м и ) . Основу математической логики со- ставляет алгебра высказываний. Алгебра...

Год актуализации: 2013

Источник публикации: Архитектура ЭВМ и вычислительных систем: справочник

Тематика:

ИНФОРМАТИКА

Похожее:

ЛОГИЧЕСКИЕ ОСНОВЫ И ЭЛЕМЕНТЫ ЭВМ // Архитектура ЭВМ и вычислительных систем: справочник. 2013. URL branch.znanium.ru/read/907086 (дата обращения 19.06.2026)

ЛОГИЧЕСКИЕ ОСНОВЫ ПРОГРАММИРОВАНИЯ

ЛОГИЧЕСКИЕ ОСНОВЫ ПРОГРАММИРОВАНИЯ Начало исследований в области формальной логики было поло- жено работами Аристотеля в IV в. до нашей эры. Однако матема- тические подходы к этим вопросам впервые были указаны Дж. Бу- лем. В честь него алгебру высказывания называют бул...

е в о й ( б у л е в с к о й ) а л г е б р о й , алогические значения – б у - л е в ы м и ( б у л е в с к и м и ) . Основу математической ло- гики составляет алгебру высказываний. Алгебра логики использу- ется...

Год актуализации: 2013

Источник публикации: Языки программирования: справочник

Тематика:

ИНФОРМАТИКА

Похожее:

ЛОГИЧЕСКИЕ ОСНОВЫ ПРОГРАММИРОВАНИЯ // Языки программирования: справочник. 2013. URL branch.znanium.ru/read/896985 (дата обращения 19.06.2026)

ЛОГИЧЕСКИЕ ОСНОВЫ ЭВМ

ЛОГИЧЕСКИЕ ОСНОВЫ ЭВМ Логическая функция – это логическое выражение, состоящее из логических переменных, связанных между собой с помощью опе- раций алгебры логики. Функция может принимать в зависимости от значений перемен- ных xp только два значения: 0 и 1. Для функции...

n переменных xn_u ..., x0 будем использовать общее обозначение F(v) =f(xn_1, ..., x0), где v = (xn_1, ..., x0) каждая переменная xp (p = 0, 1, 2, ..., n) может принимать только два значения: 0 и 1. Поэтому число всех возмож- ных комбинаций значений xn_1, ..., x0 конечно и равно 2n. Областью определения функции n переменных xn_1, ..., x0 является...

Год актуализации: 2014

Источник публикации: Архитектура ЭВМ: справочник

Тематика:

ИНФОРМАТИКА

Похожее:

ЛОГИЧЕСКИЕ ОСНОВЫ ЭВМ // Архитектура ЭВМ: справочник. 2014. URL branch.znanium.ru/read/910282 (дата обращения 19.06.2026)

ЛОГИЧЕСКИЙ СИНТЕЗ ВЫЧИСЛИТЕЛЬНЫХ СХЕМ

ЛОГИЧЕСКИЙ СИНТЕЗ ВЫЧИСЛИТЕЛЬНЫХ СХЕМ Функции и аргументы в алгебре логики определены на множе- стве {0, 1} и, следовательно, могут принимать только два значе- ния. Различные комбинации значений аргументов называются наборами. Для каждого набора аргументов можно задать два зна- чения функции...

алгебры логики (ФАЛ), следовательно, для n аргу- ментов можно получить (2n) различных функций. С целью получе- ния новых функций можно использовать принцип суперпозиции, позволяющий подставлять одни функции вместо аргументов в другие функции. Система ФАЛ, позволяющая получать любые, сколь угодно сложные функции, называется функционально пол- ной системой, а набор элементов, реализующих данные функ- ции, – функционально полным набором или базисом. При...

Год актуализации: 2014

Источник публикации: Архитектура ЭВМ: справочник

Тематика:

ИНФОРМАТИКА

Похожее:

ЛОГИЧЕСКИЙ СИНТЕЗ ВЫЧИСЛИТЕЛЬНЫХ СХЕМ // Архитектура ЭВМ: справочник. 2014. URL branch.znanium.ru/read/910283 (дата обращения 19.06.2026)

ЛОГИЧЕСКИЙ ЭЛЕМЕНТ (ВЕНТИЛЬ)

ЛОГИЧЕСКИЙ ЭЛЕМЕНТ (ВЕНТИЛЬ) – часть электронной ло- гической схемы, выполняющая элементарную логическую функ- цию. ...

Год актуализации: 2013

Источник публикации: Архитектура ЭВМ и вычислительных систем: справочник

Тематика:

ИНФОРМАТИКА

Похожее:

ЛОГИЧЕСКИЙ ЭЛЕМЕНТ (ВЕНТИЛЬ) // Архитектура ЭВМ и вычислительных систем: справочник. 2013. URL branch.znanium.ru/read/907297 (дата обращения 19.06.2026)

ЛОГИЧЕСКОЕ ВЫСКАЗЫВАНИЕ

ЛОГИЧЕСКОЕ ВЫСКАЗЫВАНИЕ – любое предложение, в от- ношении которого можно однозначно сказать, истинно оно или ложно. ...

Год актуализации: 2013

Источник публикации: Языки программирования: справочник

Тематика:

ИНФОРМАТИКА

Похожее:

ЛОГИЧЕСКОЕ ВЫСКАЗЫВАНИЕ // Языки программирования: справочник. 2013. URL branch.znanium.ru/read/896778 (дата обращения 19.06.2026)

ЛОГИЧЕСКОЕ ВЫСКАЗЫВАНИЕ

ЛОГИЧЕСКОЕ ВЫСКАЗЫВАНИЕ – любое предложение, в от- ношении которого можно однозначно сказать, истинно оно или ложно. ...

Год актуализации: 2013

Источник публикации: Архитектура ЭВМ и вычислительных систем: справочник

Тематика:

ИНФОРМАТИКА

Похожее:

ЛОГИЧЕСКОЕ ВЫСКАЗЫВАНИЕ // Архитектура ЭВМ и вычислительных систем: справочник. 2013. URL branch.znanium.ru/read/907151 (дата обращения 19.06.2026)

имя пользователя
пароль