План:

Введение 4

1. Алгебра высказываний логических функций 5

2. Анализ логических функций 7

2.1 Дизъюнкция и конъюнкция 7

2.2 Отрицание a 8

2.3 Прямая и обратная импликация, или функции следования 8

2.4 Сложение по модулю 2 и функции тождества 9

2.5 Функции Шеффера, Вебба и (стрелка Пирса) 10

2.6 Единичные функции и функции сохранения переменных 11

3. Алгебра логики и ее законы 12

Заключение 13

Список литературы 15

Введение

Первые учения о формах и способах рассуждений возникли в странах Древнего Востока (Китай, Индия), но в основе современной логики лежат учения, созданные древнегреческими мыслителями. Ос-новы формальной логики заложил Аристотель, который впервые отде-лил логические формы мышления (речи) от его содержания.

Логика – это наука о формах и способах мышления.

Законы логики отражают в сознании человека свойства, связи и отношения объектов окружающего мира. Логика позволяет строить формальные модели окружающего мира, отвлекаясь от содержательной стороны.

Мышление всегда осуществляется в каких-то формах. Основны-ми формами мышления являются понятие, суждение и умозаключение.

Понятие выделяет существенные признаки объекта, которые от-личают его от других объектов. Объекты, объединенные понятием, об-разуют некоторое множество. Понятие – это форма мышления, фикси-рующая основные, существенные признаки объекта.

Понятие имеет две стороны: содержание и объем. Содержание понятия составляет совокупность существенных признаков объекта. Чтобы раскрыть содержание понятия, следует найти признаки, необхо-димые и достаточные для выделения данного объекта из множества других объектов.

Свое понимание окружающего мира человек формулирует в форме высказываний (суждений, утверждений). Высказывание строит-ся на основе понятий и по форме является повествовательным предло-жением. Высказывания могут быть выражены не только с помощью ес-тественных языков, но и с помощью формальных языков. Об объектах можно судить верно или неверно, т.е. высказывание может быть ис-тинным или ложным. Истинным будет высказывание, в котором связь понятий правильно отражает свойства и отношения реальных вещей. Высказывание – это форма мышления, в которой что-либо утверждает-ся или отрицается о реальных предметах, их свойствах и отношениях между ними. Высказывание может быть либо истинно, либо ложно.

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

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

Список литературы

1. Гусева А.И. Учимся информатике: задачи и методы их решения – М.: Диалог-МИФИ, 1998

2. Карминский А.М., Нестеров П.В. Информатизация бизнеса – М.: Финансы и Статистика, 1997

3. Крутицкий Б. Организация делопроизводства и управления в офисе – СПб.: BHV – Санкт-Петербург, 1997

4. Купштейн В. Современные информационные технологии в делопроизводстве – СПб.: BHV – Санкт-Петербург, 1999

5. Угринович Н. Информатика и информационные технологии – М.: Лаборатория базовых з1наний, 2001

Примечаний нет.