Равносильные логические выражения.

Логические выражения, у которых таблицы истинности совпадают, называются равносильными.

Для обозначения равносильных логических выражений используется знак равенства «=».

Докажем с помощью таблиц истинности (таблицы 5 и 6), что выражения & и АvВ равносильны.

Таблица 5

А	В			&

Таблица 6

А	В	АvB	АvВ

Таблицы истинности совпадают, следовательно логические выражения равносильны:

& и АvВ

АППАРАТНОЕ И ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ

Принципы фон Неймана и классификация ЭВМ.

В 1946 г. Джон П. Экерт (род. 1919) и Джон В. Могли (1907—1980) разработали один из первых компьютеров для армии США— ENIAC (электронный числовой интегратор и калькулятор) на электронных лампах.

В 1945 г. к работе Могли и Экерта был привлечен знаменитый математик Джон фон Нейман, который подготовил доклад об этой машине. Доклад был разослан многим ученым и получил широкую известность, поскольку в нем фон Нейман ясно и просто сформулировал общие принципы функционирования универсальных вычислительных устройств, т.е. компьютеров.