Вологодский государственный университет»

Федеральное государственное бюджетное образовательное учреждение высшего образования

«Вологодский государственный университет»

Институт математики, естественных и компьютерных наук

Практическая работа №3

«Разработка программы реализации логической функции 3-х переменных на языке TURBO PROLOG »

Преподаватель: Швецов А.Н.

Вологда

2019 г.

1 ПОСТАНОВКА ЗАДАЧИ

Необходимо составить программу на языке Prolog реализующую функцию Ø(A®(B⊕C)).

2 ТЕОРЕТИЧЕСКАЯ ЧАСТЬ

(B⊕C)

A®(B⊕C)

Ø(A®(B⊕C))

3 ВЫПОЛНЕНИЕ

СДНФ (AØBØC)V(ABC)

Исходный код на языке Prolog:

domains

d=integer

predicates

no(d,d) //отрицание

an(d,d,d) //конъюнкция 2-х переменных

o(d,d,d) //дизъюнкция 2-х переменных

fu(d,d,d,d) //функция

clauses

no(1,0).

no(0,1).

an(0,0,0).

an(0,1,0).

an(1,0,0).

an(1,1,1).

o(0,0,0).

o(0,1,1).

o(1,0,1).

o(1,1,1).

fu(In1,In2,In3,Out):-no(In2,N1),no(In3,N2),an(In1,N1,N3),an(N3,N2,N4),an(In1,In2,N5),an(N5,In3,N6),o(N4,N6,Out).

Компилируем и запускаем.

Goal: fu(A,B,C,D)

Получаем результат, все возможные варианты: