Разработка программного модуля, моделирующего работу цифровой схемы

Автор работы: Пользователь скрыл имя, 26 Ноября 2013 в 00:41, контрольная работа

Краткое описание

В работе представлено:
1 Математическая модель редактора базы знаний в виде таблиц истинности логических элементов.
2 Математическая модель принятия решений в виде логических уравнений
3 Разработка программы моделирования работы исправной схемы.
Привести текст программы моделирования работы исправной схемы с подробными комментариями.

Скачать в ZIP архиве (207.86 Кб) Сколько стоит заказать работу?
Вложенные файлы: 1 файл

Разработка программного модуля, моделирующего работу цифровой схемы.docx

— 218.75 Кб (Скачать файл)

Министерство образования Республики Беларусь

 

БЕЛОРУССКО-РОССИЙСКИЙ УНИВЕРСИТЕТ

 

Кафедра “Автоматизированные системы  управления”

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Контрольная работа

по дисциплине "Экспертные системы"

«Разработка программного модуля, моделирующего  работу цифровой схемы»

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Выполнил:

 

Ст. гр. АСОИЗ-081

Барановская В.В.

Шифр№ 081647

 

Руководитель:

Щербо Н.М.


 

 

 

 

 

 

 

 

 

Могилев, 2012

 

дисциплина "Экспертные системы"

 

Студенту группы АСОИЗ 081 _________ Барановской  В.В.___________

 

Задание на контрольную  работу Средствами языка Пролог разработать программный модуль моделирующий работу цифровой схемы.

В работе представить:

1 Математическая модель редактора  базы знаний в виде таблиц истинности логических элементов.

2 Математическая модель принятия  решений в виде логических  уравнений

3 Разработка программы моделирования  работы исправной схемы.

Привести текст программы моделирования  работы исправной схемы с подробными комментариями.

4 Приложить дискету или прислать  на электронный адрес s_krutolevich@bru.mogilev.by листинг программы

 

Список использованных источников.

Адаменко А.Н., Кучуков А.М. «Логическое  программирование и Visual Prolog», БХВ-Петербург, 2003. – 992 с.

Ж.-Л. Лорьер. «Системы искусственного интеллекта», М.: Мир, 1991г. - 568 с.

Стерлинг Л., Шапиро Э. «Искусство программирования на языке Пролог». – М.: Мир, 1990.

Цифровые интегральные микросхемы: Справ./ М.И. Богданович, И.Н. Грель, В.А. Прохоренко, В.В. Шалимо.- Мн.:Беларусь, 1991. - 493 с.: ил.

Каган Б.М. Электронные вычислительные машины и системы: Учеб. пособие для  вузов.- М.: Энергия, 1979.- 528с.

 

 

7. Консультант по проекту Щербо  Н.М.

8. Дата выдачи задания: 14 сентября 2012 г.

Приложить дискету или прислать на электронный адрес s_krutolevich@bru.mogilev.by исполняемый файл программы

 

 

Задание принял______________ Руководитель проекта_____________( Щербо Н.М.)

 

 

Вид элементов схем приведен в каталоге «Схемы». Студент самостоятельно соединяет  входы и выходы элементов.

 

 

1. Математическая модель редактора  базы знаний в виде таблиц  истинности логических элементов

 

В данной контрольной работе, каждый логический элемент описывается  правилом, имеющим ряд данных в  качестве входных и выходных параметров.

Для моделирования работы схемы  необходимо представить таблицы  истинности всех логических элементов  схемы.

 

Таблица 1 – Таблицы истинности используемых логических элементов.

Логическая функция

Обозначение

Таблица истинности

НЕ

 

X

Y

0

1

1

0


ИЛИ

 

X1

X2

Y

0

0

0

0

1

1

1

0

1

1

1

1


И-НЕ

 

X1

X2

Y

0

0

1

0

1

1

1

0

1

1

1

0


D-триггер

 

D

C

nS

nR

Q

nQ

0

0

0

0

1

0

0

0

0

1

1

0

0

0

1

0

0

1

0

0

1

1

Qn-1

nQn-1

0

1

0

0

1

0

0

1

0

1

1

0

0

1

1

0

0

1

0

1

1

1

0

1

1

0

0

0

1

0

1

0

0

1

1

0

1

0

1

0

0

1

1

0

1

1

Qn-1

nQn-1

1

1

0

0

1

0

1

1

0

1

1

0

1

1

1

0

0

1

1

1

1

1

1

0


Сумматор

 

 Входы  
 A0 B0 A1 B1  
 A2 B2 A3 B3

Выходы

S0 S1  
 S2 S3

0  0  0  0 

0  0

1  0  0  0

1  0

0  1  0  0 

1  0

1  1  0  0 

0  1

0  0  1  0

0  1

1  0  1  0

1  1

0  1  1  0

1  1

1  1  1  0

0  0

0  0  0  1

0  1

1  0  0  1

1  1

0  1  0  1

1  1 

1  1  0  1

0  0

0  0  1  1

0  0

1  0  1  1

1  0

0  1  1  1

1  0

1  1  1  1

0  1



 

 

 

 

 

2. Математическая модель принятия  решений в виде логических  уравнений

 

Соединив входы и выходы логических элементов, получим схему представленную на рисунке 1.

 

Рисунок 1 – Полученная схема

 

Каждый логический элемент можно  описать в виде логического уравнения (системы логических уравнений).

 

Таблица 2 – Логические уравнения элементов

Логический элемент

Уравнения

НЕ

  

ИЛИ

  

И-НЕ

  

D-триггер

  

Сумматор

  

 

А логическую схему в виде системы  логических уравнений.

 

 

 

 

 

3. Разработка программы моделирования  работы исправной схемы

 

Ниже приведен текст программы  моделирования работы исправной  схемы с подробными комментариями.

 

%

domains

  D = integer

 

predicates

 

  nondeterm not_and(D,D,D) %- nondeterm (i,i,o)

  nondeterm not_(D, D)

  nondeterm or_(D,D,D)% - nondeterm (i,i,o)

  nondeterm sum_(D,D,D,D,D,D,D,D,D,D,D,D)

  nondeterm trigger(D, D, D, D, D, D)

  nondeterm ispRab(D,D,D,D, D, D, D,D,D,D)

 

clauses

 

% не

  not_(1, 0).

  not_(0, 1).

 

% и-не

  not_and(0, 0, 1).

  not_and(0, 1, 1).

  not_and(1, 0, 1).

  not_and(1, 1, 0).

 

% или

  or_(0, 0, 0).

  or_(0, 1, 1).

  or_(1, 0, 1).

  or_(1, 1, 1).

 

% DC-триггер

%         D  C  nS nR Q  nQ

  trigger(0, 0, 0, 0, 1, 0).

  trigger(0, 0, 0, 1, 1, 0).

  trigger(0, 0, 1, 0, 0, 1).

  trigger(0, 0, 1, 1, 0, 1).

 

  trigger(0, 1, 0, 0, 1, 0).

  trigger(0, 1, 0, 1, 1, 0).

  trigger(0, 1, 1, 0, 0, 1).

  trigger(0, 1, 1, 1, 0, 1).

 

  trigger(1, 0, 0, 0, 1, 0).

  trigger(1, 0, 0, 1, 1, 0).

  trigger(1, 0, 1, 0, 0, 1).

  trigger(1, 0, 1, 1, 0, 1).

 

  trigger(1, 1, 0, 0, 1, 0).

  trigger(1, 1, 0, 1, 1, 0).

  trigger(1, 1, 1, 0, 0, 1).

  trigger(1, 1, 1, 1, 1, 0).

 

% сумматор

% A0 A1 A2 A3 B0 B1 B2 B3 S0 S1 S2 S3

  sum_(0,0,0,0, 0,0,0,0, 0,0,0,0).

  sum_(0,0,0,0, 0,0,0,1, 0,0,0,1).

  sum_(0,0,0,0, 0,0,1,0, 0,0,1,0).

  sum_(0,0,0,0, 0,0,1,1, 0,0,1,1).

  sum_(0,0,0,0, 0,1,0,0, 0,1,0,0).

  sum_(0,0,0,0, 0,1,0,1, 0,1,0,1).

  sum_(0,0,0,0, 0,1,1,0, 0,1,1,0).

  sum_(0,0,0,0, 0,1,1,1, 0,1,1,1).

  sum_(0,0,0,0, 1,0,0,0, 1,0,0,0).

  sum_(0,0,0,0, 1,0,0,1, 1,0,0,1).

  sum_(0,0,0,0, 1,0,1,0, 1,0,1,0).

  sum_(0,0,0,0, 1,0,1,1, 1,0,1,1).

  sum_(0,0,0,0, 1,1,0,0, 1,1,0,0).

  sum_(0,0,0,0, 1,1,0,1, 1,1,0,1).

  sum_(0,0,0,0, 1,1,1,0, 1,1,1,0).

  sum_(0,0,0,0, 1,1,1,1, 1,1,1,1).

  sum_(0,0,0,1, 0,0,0,0, 0,0,0,1).

  sum_(0,0,0,1, 0,0,0,1, 0,0,1,0).

  sum_(0,0,0,1, 0,0,1,0, 0,0,1,1).

  sum_(0,0,0,1, 0,0,1,1, 0,1,0,0).

  sum_(0,0,0,1, 0,1,0,0, 0,1,0,1).

  sum_(0,0,0,1, 0,1,0,1, 0,1,1,0).

  sum_(0,0,0,1, 0,1,1,0, 0,1,1,1).

  sum_(0,0,0,1, 0,1,1,1, 1,0,0,0).

  sum_(0,0,0,1, 1,0,0,0, 1,0,0,1).

  sum_(0,0,0,1, 1,0,0,1, 1,0,1,0).

  sum_(0,0,0,1, 1,0,1,0, 1,0,1,1).

  sum_(0,0,0,1, 1,0,1,1, 1,1,0,0).

  sum_(0,0,0,1, 1,1,0,0, 1,1,0,1).

  sum_(0,0,0,1, 1,1,0,1, 1,1,1,0).

  sum_(0,0,0,1, 1,1,1,0, 1,1,1,1).

  sum_(0,0,0,1, 1,1,1,1, 0,0,0,0).

  sum_(0,0,1,0, 0,0,0,0, 0,0,1,0).

  sum_(0,0,1,0, 0,0,0,1, 0,0,1,1).

  sum_(0,0,1,0, 0,0,1,0, 0,1,0,0).

  sum_(0,0,1,0, 0,0,1,1, 0,1,0,1).

  sum_(0,0,1,0, 0,1,0,0, 0,1,1,0).

  sum_(0,0,1,0, 0,1,0,1, 0,1,1,1).

  sum_(0,0,1,0, 0,1,1,0, 1,0,0,0).

  sum_(0,0,1,0, 0,1,1,1, 1,0,0,1).

  sum_(0,0,1,0, 1,0,0,0, 1,0,1,0).

  sum_(0,0,1,0, 1,0,0,1, 1,0,1,1).

  sum_(0,0,1,0, 1,0,1,0, 1,1,0,0).

  sum_(0,0,1,0, 1,0,1,1, 1,1,0,1).

  sum_(0,0,1,0, 1,1,0,0, 1,1,1,0).

  sum_(0,0,1,0, 1,1,0,1, 1,1,1,1).

  sum_(0,0,1,0, 1,1,1,0, 0,0,0,0).

  sum_(0,0,1,0, 1,1,1,1, 0,0,0,1).

  sum_(0,0,1,1, 0,0,0,0, 0,0,1,1).

  sum_(0,0,1,1, 0,0,0,1, 0,1,0,0).

  sum_(0,0,1,1, 0,0,1,0, 0,1,0,1).

  sum_(0,0,1,1, 0,0,1,1, 0,1,1,0).

  sum_(0,0,1,1, 0,1,0,0, 0,1,1,1).

  sum_(0,0,1,1, 0,1,0,1, 1,0,0,0).

  sum_(0,0,1,1, 0,1,1,0, 1,0,0,1).

  sum_(0,0,1,1, 0,1,1,1, 1,0,1,0).

  sum_(0,0,1,1, 1,0,0,0, 1,0,1,1).

  sum_(0,0,1,1, 1,0,0,1, 1,1,0,0).

  sum_(0,0,1,1, 1,0,1,0, 1,1,0,1).

  sum_(0,0,1,1, 1,0,1,1, 1,1,1,0).

  sum_(0,0,1,1, 1,1,0,0, 1,1,1,1).

  sum_(0,0,1,1, 1,1,0,1, 0,0,0,0).

  sum_(0,0,1,1, 1,1,1,0, 0,0,0,1).

  sum_(0,0,1,1, 1,1,1,1, 0,0,1,0).

  sum_(0,1,0,0, 0,0,0,0, 0,1,0,0).

  sum_(0,1,0,0, 0,0,0,1, 0,1,0,1).

  sum_(0,1,0,0, 0,0,1,0, 0,1,1,0).

  sum_(0,1,0,0, 0,0,1,1, 0,1,1,1).

  sum_(0,1,0,0, 0,1,0,0, 1,0,0,0).

  sum_(0,1,0,0, 0,1,0,1, 1,0,0,1).

  sum_(0,1,0,0, 0,1,1,0, 1,0,1,0).

  sum_(0,1,0,0, 0,1,1,1, 1,0,1,1).

  sum_(0,1,0,0, 1,0,0,0, 1,1,0,0).

  sum_(0,1,0,0, 1,0,0,1, 1,1,0,1).

  sum_(0,1,0,0, 1,0,1,0, 1,1,1,0).

  sum_(0,1,0,0, 1,0,1,1, 1,1,1,1).

  sum_(0,1,0,0, 1,1,0,0, 0,0,0,0).

  sum_(0,1,0,0, 1,1,0,1, 0,0,0,1).

  sum_(0,1,0,0, 1,1,1,0, 0,0,1,0).

  sum_(0,1,0,0, 1,1,1,1, 0,0,1,1).

  sum_(0,1,0,1, 0,0,0,0, 0,1,0,1).

  sum_(0,1,0,1, 0,0,0,1, 0,1,1,0).

  sum_(0,1,0,1, 0,0,1,0, 0,1,1,1).

  sum_(0,1,0,1, 0,0,1,1, 1,0,0,0).

  sum_(0,1,0,1, 0,1,0,0, 1,0,0,1).

  sum_(0,1,0,1, 0,1,0,1, 1,0,1,0).

  sum_(0,1,0,1, 0,1,1,0, 1,0,1,1).

  sum_(0,1,0,1, 0,1,1,1, 1,1,0,0).

  sum_(0,1,0,1, 1,0,0,0, 1,1,0,1).

  sum_(0,1,0,1, 1,0,0,1, 1,1,1,0).

  sum_(0,1,0,1, 1,0,1,0, 1,1,1,1).

  sum_(0,1,0,1, 1,0,1,1, 0,0,0,0).

  sum_(0,1,0,1, 1,1,0,0, 0,0,0,1).

  sum_(0,1,0,1, 1,1,0,1, 0,0,1,0).

  sum_(0,1,0,1, 1,1,1,0, 0,0,1,1).

  sum_(0,1,0,1, 1,1,1,1, 0,1,0,0).

  sum_(0,1,1,0, 0,0,0,0, 0,1,1,0).

  sum_(0,1,1,0, 0,0,0,1, 0,1,1,1).

  sum_(0,1,1,0, 0,0,1,0, 1,0,0,0).

  sum_(0,1,1,0, 0,0,1,1, 1,0,0,1).

  sum_(0,1,1,0, 0,1,0,0, 1,0,1,0).

  sum_(0,1,1,0, 0,1,0,1, 1,0,1,1).

  sum_(0,1,1,0, 0,1,1,0, 1,1,0,0).

  sum_(0,1,1,0, 0,1,1,1, 1,1,0,1).

  sum_(0,1,1,0, 1,0,0,0, 1,1,1,0).

  sum_(0,1,1,0, 1,0,0,1, 1,1,1,1).

  sum_(0,1,1,0, 1,0,1,0, 0,0,0,0).

  sum_(0,1,1,0, 1,0,1,1, 0,0,0,1).

  sum_(0,1,1,0, 1,1,0,0, 0,0,1,0).

  sum_(0,1,1,0, 1,1,0,1, 0,0,1,1).

  sum_(0,1,1,0, 1,1,1,0, 0,1,0,0).

  sum_(0,1,1,0, 1,1,1,1, 0,1,0,1).

  sum_(0,1,1,1, 0,0,0,0, 0,1,1,1).

  sum_(0,1,1,1, 0,0,0,1, 1,0,0,0).

  sum_(0,1,1,1, 0,0,1,0, 1,0,0,1).

  sum_(0,1,1,1, 0,0,1,1, 1,0,1,0).

  sum_(0,1,1,1, 0,1,0,0, 1,0,1,1).

  sum_(0,1,1,1, 0,1,0,1, 1,1,0,0).

  sum_(0,1,1,1, 0,1,1,0, 1,1,0,1).

  sum_(0,1,1,1, 0,1,1,1, 1,1,1,0).

  sum_(0,1,1,1, 1,0,0,0, 1,1,1,1).

  sum_(0,1,1,1, 1,0,0,1, 0,0,0,0).

  sum_(0,1,1,1, 1,0,1,0, 0,0,0,1).

  sum_(0,1,1,1, 1,0,1,1, 0,0,1,0).

  sum_(0,1,1,1, 1,1,0,0, 0,0,1,1).

  sum_(0,1,1,1, 1,1,0,1, 0,1,0,0).

  sum_(0,1,1,1, 1,1,1,0, 0,1,0,1).

  sum_(0,1,1,1, 1,1,1,1, 0,1,1,0).

  sum_(1,0,0,0, 0,0,0,0, 1,0,0,0).

  sum_(1,0,0,0, 0,0,0,1, 1,0,0,1).

  sum_(1,0,0,0, 0,0,1,0, 1,0,1,0).

  sum_(1,0,0,0, 0,0,1,1, 1,0,1,1).

  sum_(1,0,0,0, 0,1,0,0, 1,1,0,0).

  sum_(1,0,0,0, 0,1,0,1, 1,1,0,1).

  sum_(1,0,0,0, 0,1,1,0, 1,1,1,0).

  sum_(1,0,0,0, 0,1,1,1, 1,1,1,1).

  sum_(1,0,0,0, 1,0,0,0, 0,0,0,0).

  sum_(1,0,0,0, 1,0,0,1, 0,0,0,1).

  sum_(1,0,0,0, 1,0,1,0, 0,0,1,0).

  sum_(1,0,0,0, 1,0,1,1, 0,0,1,1).

  sum_(1,0,0,0, 1,1,0,0, 0,1,0,0).

  sum_(1,0,0,0, 1,1,0,1, 0,1,0,1).

  sum_(1,0,0,0, 1,1,1,0, 0,1,1,0).

  sum_(1,0,0,0, 1,1,1,1, 0,1,1,1).

  sum_(1,0,0,1, 0,0,0,0, 1,0,0,1).

  sum_(1,0,0,1, 0,0,0,1, 1,0,1,0).

  sum_(1,0,0,1, 0,0,1,0, 1,0,1,1).

  sum_(1,0,0,1, 0,0,1,1, 1,1,0,0).

  sum_(1,0,0,1, 0,1,0,0, 1,1,0,1).

  sum_(1,0,0,1, 0,1,0,1, 1,1,1,0).

  sum_(1,0,0,1, 0,1,1,0, 1,1,1,1).

  sum_(1,0,0,1, 0,1,1,1, 0,0,0,0).

  sum_(1,0,0,1, 1,0,0,0, 0,0,0,1).

  sum_(1,0,0,1, 1,0,0,1, 0,0,1,0).

  sum_(1,0,0,1, 1,0,1,0, 0,0,1,1).

  sum_(1,0,0,1, 1,0,1,1, 0,1,0,0).

  sum_(1,0,0,1, 1,1,0,0, 0,1,0,1).

  sum_(1,0,0,1, 1,1,0,1, 0,1,1,0).

  sum_(1,0,0,1, 1,1,1,0, 0,1,1,1).

  sum_(1,0,0,1, 1,1,1,1, 1,0,0,0).

  sum_(1,0,1,0, 0,0,0,0, 1,0,1,0).

  sum_(1,0,1,0, 0,0,0,1, 1,0,1,1).

  sum_(1,0,1,0, 0,0,1,0, 1,1,0,0).

  sum_(1,0,1,0, 0,0,1,1, 1,1,0,1).

  sum_(1,0,1,0, 0,1,0,0, 1,1,1,0).

  sum_(1,0,1,0, 0,1,0,1, 1,1,1,1).

  sum_(1,0,1,0, 0,1,1,0, 0,0,0,0).

  sum_(1,0,1,0, 0,1,1,1, 0,0,0,1).

  sum_(1,0,1,0, 1,0,0,0, 0,0,1,0).

  sum_(1,0,1,0, 1,0,0,1, 0,0,1,1).

  sum_(1,0,1,0, 1,0,1,0, 0,1,0,0).

  sum_(1,0,1,0, 1,0,1,1, 0,1,0,1).

  sum_(1,0,1,0, 1,1,0,0, 0,1,1,0).

  sum_(1,0,1,0, 1,1,0,1, 0,1,1,1).

  sum_(1,0,1,0, 1,1,1,0, 1,0,0,0).

  sum_(1,0,1,0, 1,1,1,1, 1,0,0,1).

  sum_(1,0,1,1, 0,0,0,0, 1,0,1,1).

  sum_(1,0,1,1, 0,0,0,1, 1,1,0,0).

  sum_(1,0,1,1, 0,0,1,0, 1,1,0,1).

  sum_(1,0,1,1, 0,0,1,1, 1,1,1,0).

  sum_(1,0,1,1, 0,1,0,0, 1,1,1,1).

  sum_(1,0,1,1, 0,1,0,1, 0,0,0,0).

  sum_(1,0,1,1, 0,1,1,0, 0,0,0,1).

  sum_(1,0,1,1, 0,1,1,1, 0,0,1,0).

  sum_(1,0,1,1, 1,0,0,0, 0,0,1,1).

  sum_(1,0,1,1, 1,0,0,1, 0,1,0,0).

  sum_(1,0,1,1, 1,0,1,0, 0,1,0,1).

  sum_(1,0,1,1, 1,0,1,1, 0,1,1,0).

  sum_(1,0,1,1, 1,1,0,0, 0,1,1,1).

  sum_(1,0,1,1, 1,1,0,1, 1,0,0,0).

  sum_(1,0,1,1, 1,1,1,0, 1,0,0,1).

  sum_(1,0,1,1, 1,1,1,1, 1,0,1,0).

  sum_(1,1,0,0, 0,0,0,0, 1,1,0,0).

  sum_(1,1,0,0, 0,0,0,1, 1,1,0,1).

  sum_(1,1,0,0, 0,0,1,0, 1,1,1,0).

  sum_(1,1,0,0, 0,0,1,1, 1,1,1,1).

  sum_(1,1,0,0, 0,1,0,0, 0,0,0,0).

  sum_(1,1,0,0, 0,1,0,1, 0,0,0,1).

  sum_(1,1,0,0, 0,1,1,0, 0,0,1,0).

  sum_(1,1,0,0, 0,1,1,1, 0,0,1,1).

  sum_(1,1,0,0, 1,0,0,0, 0,1,0,0).

  sum_(1,1,0,0, 1,0,0,1, 0,1,0,1).

  sum_(1,1,0,0, 1,0,1,0, 0,1,1,0).

  sum_(1,1,0,0, 1,0,1,1, 0,1,1,1).

  sum_(1,1,0,0, 1,1,0,0, 1,0,0,0).

  sum_(1,1,0,0, 1,1,0,1, 1,0,0,1).

  sum_(1,1,0,0, 1,1,1,0, 1,0,1,0).

  sum_(1,1,0,0, 1,1,1,1, 1,0,1,1).

  sum_(1,1,0,1, 0,0,0,0, 1,1,0,1).

  sum_(1,1,0,1, 0,0,0,1, 1,1,1,0).

  sum_(1,1,0,1, 0,0,1,0, 1,1,1,1).

  sum_(1,1,0,1, 0,0,1,1, 0,0,0,0).

  sum_(1,1,0,1, 0,1,0,0, 0,0,0,1).

  sum_(1,1,0,1, 0,1,0,1, 0,0,1,0).

  sum_(1,1,0,1, 0,1,1,0, 0,0,1,1).

  sum_(1,1,0,1, 0,1,1,1, 0,1,0,0).

  sum_(1,1,0,1, 1,0,0,0, 0,1,0,1).

  sum_(1,1,0,1, 1,0,0,1, 0,1,1,0).

  sum_(1,1,0,1, 1,0,1,0, 0,1,1,1).

  sum_(1,1,0,1, 1,0,1,1, 1,0,0,0).

  sum_(1,1,0,1, 1,1,0,0, 1,0,0,1).

  sum_(1,1,0,1, 1,1,0,1, 1,0,1,0).

  sum_(1,1,0,1, 1,1,1,0, 1,0,1,1).

  sum_(1,1,0,1, 1,1,1,1, 1,1,0,0).

  sum_(1,1,1,0, 0,0,0,0, 1,1,1,0).

  sum_(1,1,1,0, 0,0,0,1, 1,1,1,1).

  sum_(1,1,1,0, 0,0,1,0, 0,0,0,0).

  sum_(1,1,1,0, 0,0,1,1, 0,0,0,1).

  sum_(1,1,1,0, 0,1,0,0, 0,0,1,0).

  sum_(1,1,1,0, 0,1,0,1, 0,0,1,1).

  sum_(1,1,1,0, 0,1,1,0, 0,1,0,0).

  sum_(1,1,1,0, 0,1,1,1, 0,1,0,1).

  sum_(1,1,1,0, 1,0,0,0, 0,1,1,0).

  sum_(1,1,1,0, 1,0,0,1, 0,1,1,1).

  sum_(1,1,1,0, 1,0,1,0, 1,0,0,0).

  sum_(1,1,1,0, 1,0,1,1, 1,0,0,1).

  sum_(1,1,1,0, 1,1,0,0, 1,0,1,0).

  sum_(1,1,1,0, 1,1,0,1, 1,0,1,1).

  sum_(1,1,1,0, 1,1,1,0, 1,1,0,0).

  sum_(1,1,1,0, 1,1,1,1, 1,1,0,1).

  sum_(1,1,1,1, 0,0,0,0, 1,1,1,1).

  sum_(1,1,1,1, 0,0,0,1, 0,0,0,0).

  sum_(1,1,1,1, 0,0,1,0, 0,0,0,1).

  sum_(1,1,1,1, 0,0,1,1, 0,0,1,0).

  sum_(1,1,1,1, 0,1,0,0, 0,0,1,1).

  sum_(1,1,1,1, 0,1,0,1, 0,1,0,0).

  sum_(1,1,1,1, 0,1,1,0, 0,1,0,1).

  sum_(1,1,1,1, 0,1,1,1, 0,1,1,0).

  sum_(1,1,1,1, 1,0,0,0, 0,1,1,1).

  sum_(1,1,1,1, 1,0,0,1, 1,0,0,0).

  sum_(1,1,1,1, 1,0,1,0, 1,0,0,1).

  sum_(1,1,1,1, 1,0,1,1, 1,0,1,0).

  sum_(1,1,1,1, 1,1,0,0, 1,0,1,1).

  sum_(1,1,1,1, 1,1,0,1, 1,1,0,0).

  sum_(1,1,1,1, 1,1,1,0, 1,1,0,1).

  sum_(1,1,1,1, 1,1,1,1, 1,1,1,0).

  

  % Модель исправной работы

   ispRab(I0,I1,I2,I3,I4,I5,O0,O1,O2,O3):-

    or_(I0, I1, T0),

    not_and(I1, I2, T2),

    not_(I4, T3),

    or_(I4, I5, T4),

    not_(I1, T1),

    trigger(T0, T1, T2, I3, T5, T6),

    or_(T4, T3, T7),

    trigger(T3, T4, I3, I5, T8, T9),

    not_and(I3, I5, T10),

    not_and(T0, T5, T11),

    or_(T6, I3, T12),

    not_and(T8, T9, T13),

    not_and(T9, T10, T14),

    sum_(T11, T12, T13, T8, T5, T7, T14, T9, O0, O1, O2, O3),

Информация о работе Разработка программного модуля, моделирующего работу цифровой схемы