Релейно-контактные схемы (РКС).

Федеральное государственное автономное

образовательное учреждение

высшего профессионального образования

«СИБИРСКИЙ ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ»

Институт космических и информационных технологий

Кафедра «Информатика и вычислительная техника»

Курсовая работа

Булевы функции и РКС

Дисциплина «Математическая логика»

Выполнил: Угадов А.И.
студент 2 курса
группа: КИ 12-11Б

Проверил:

Красноярск
2013

Содержание:

Булевы функции.

1.1. Булевы функции одной переменной.

1.2. Булевы функции двух переменных.

1.3. Булевы функции трех переменных.

Реализация функций формулами.

Законы булевой алгебры.

3.1 Идемпотентность.

3.2 Коммутативность.

3.3 Ассоциативность.

3.4 Дистрибутивность.

3.5 Закон поглощения.

3.6 Закон склеивания.

3.7 Закон нуля.

3.8 Закон единицы.

3.9 Закон дополнения.

3.10 Инволютивность.

3.11 Законы де Моргана.

СКНФ.

СДНФ.

релейно-контактные схемы (РКС).

Введение:

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

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

В теории релейно-контактных схем различают две главные задачи – анализа и синтеза. Задача анализа состоит в изучении характера работы данной схемы и ее упрощения. Задача синтеза заключается в построении схемы с наперед заданными условиями работы.