Реализовать схему

@YaNeYA · Регистрация: 19.03.2013

Author24 — интернет-сервис помощи студентам

Как реализовать эту схему на прологе https://www.cyberforum.ru/atta... 1400429834.

@Catstail · 18.05.2014, 23:05

Странная, вообще-то схема... Получается, что она выдает тождественный нуль. Или я ошибаюсь?

Если x3=1 и x4=1, то на выходе нижнего конъюнктора будет 1. Эта единица пройдет на вход среднего "Или" и после инвертирования даст на выходе 0. -> y=0. При других сочетаниях x3 x4 нуль просто пройдет на последний "И". Результат - снова = 0.

Это подтверждает и программа:

Prolog

domains
int=integer
 
predicates
 
or_(int,int,int)
and_(int,int,int)
not_(int,int)
f1(int,int,int)
res(int,int,int,int,int)
 
clauses
 
or_(1,0,1).
or_(0,1,1).
or_(1,1,1).
or_(0,0,0).
 
and_(1,0,0).
and_(0,1,0).
and_(1,1,1).
and_(0,0,0).
 
not_(1,0).
not_(0,1).
 
f1(X1,X2,Y) :- or_(X1,X2,X), not_(X,Y).
 
res(X1,X2,X3,X4,Y) :- f1(X1,X2,Y1), and_(X3,X4,Y2), f1(Y1,Y2,Y3), and_(Y3,Y2,Y).

@YaNeYA · 28.05.2014, 18:59 **[ТС]**

Странно но у меня вот так

@Catstail · 28.05.2014, 19:34

Сообщение от YaNeYA

Странно но у меня вот так

- не видно.

@YaNeYA · 28.05.2014, 22:07 **[ТС]**

Реализовать схему
Так она же сравнивает значение на равенство ,а там надо было реализовать схему.Ну как я понимаю вы должны написать значение X1 x2 x3 x4 и присвоить значение 0 или 1 и дальше программа должна вывести по схеме значение Y .Вот только как это запрограммировать я даже не знаю

@Catstail · 28.05.2014, 22:26

Сообщение от YaNeYA

Так она же сравнивает значение на равенство

- она не сравнивает значения, а реализует логическую функцию.

@YaNeYA · 28.05.2014, 23:15 **[ТС]**

Можно добавить коментарии,а то я не поняла.(

@YaNeYA · 19.06.2014, 00:09 **[ТС]**

А как правильно запрос написать?

@Catstail · 19.06.2014, 22:46

Вот программа с запросом:

Prolog

domains
int=integer
 
predicates
 
or_(int,int,int)
and_(int,int,int)
not_(int,int)
f1(int,int,int)
res(int,int,int,int,int)
 
clauses
 
or_(1,0,1).
or_(0,1,1).
or_(1,1,1).
or_(0,0,0).
 
and_(1,0,0).
and_(0,1,0).
and_(1,1,1).
and_(0,0,0).
 
not_(1,0).
not_(0,1).
 
f1(X1,X2,Y) :- or_(X1,X2,X), not_(X,Y).
 
res(X1,X2,X3,X4,Y) :- f1(X1,X2,Y1), and_(X3,X4,Y2), f1(Y1,Y2,Y3), and_(Y3,Y2,Y).
 
goal
 
res(1,1,0,0,Z), write(Z), nl.

@YaNeYA 1 / 1 / 0 Регистрация: 19.03.2013 Сообщений: 43
		1
	Реализовать схему 18.05.2014, 20:17. Показов 1707. Ответов 8 Метки нет (Все метки) Как реализовать эту схему на прологе https://www.cyberforum.ru/atta... 1400429834. Миниатюры 0

@YaNeYA 1 / 1 / 0 Регистрация: 19.03.2013 Сообщений: 43
	28.05.2014, 18:59 [ТС]	3
	Странно но у меня вот так Миниатюры 0

@Catstail Модератор 36601 / 20330 / 4220 Регистрация: 12.02.2012 Сообщений: 33,645 Записей в блоге: 13
	28.05.2014, 19:34	4
	Сообщение от YaNeYA Странно но у меня вот так - не видно. 0

@YaNeYA 1 / 1 / 0 Регистрация: 19.03.2013 Сообщений: 43
	28.05.2014, 22:07 [ТС]	5
	Реализовать схему Так она же сравнивает значение на равенство ,а там надо было реализовать схему.Ну как я понимаю вы должны написать значение X1 x2 x3 x4 и присвоить значение 0 или 1 и дальше программа должна вывести по схеме значение Y .Вот только как это запрограммировать я даже не знаю 0

@Catstail Модератор 36601 / 20330 / 4220 Регистрация: 12.02.2012 Сообщений: 33,645 Записей в блоге: 13
	28.05.2014, 22:26	6
	Сообщение от YaNeYA Так она же сравнивает значение на равенство - она не сравнивает значения, а реализует логическую функцию. 0

@YaNeYA 1 / 1 / 0 Регистрация: 19.03.2013 Сообщений: 43
	28.05.2014, 23:15 [ТС]	7
	Можно добавить коментарии,а то я не поняла.( 0

@YaNeYA 1 / 1 / 0 Регистрация: 19.03.2013 Сообщений: 43
	19.06.2014, 00:09 [ТС]	8
	А как правильно запрос написать? 0

	19.06.2014, 22:46

Реализовать схему

Решение