Логические высказывания и формулы

Министерство науки и высшего образования Российской Федерации

Федеральное государственное бюджетное образовательное учреждение высшего образования «Рязанский государственный радиотехнический университет имени В.Ф. Уткина»

Кафедра «САПР ВС»

Отчет о лабораторной работе № 3

Логические высказывания и формулы

по дисциплине

«Математическая логика и теория алгоритмов»

Выполнили:

Студенты группы 046

Бригады №8

Костин В.Ю.

Бурцева С.Н.

Проверила:

Доцент кафедры САПР ВС,

к.т.н. Бакулева М.А.

Рязань 2020

Цель работы

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

Практическая часть

1. Задание: СКНФ:

2. Преобразование СКНФ в КНФ: (X1˅X2˅X3˅X4)˄(⌐X1˅X2˅X3˅X4) ˄ ˄(⌐X1˅⌐X2˅X3˅X4)˄(X1˅⌐X2˅⌐X3˅X4)= (X2˅X3˅X4) ˄ (⌐X1˅⌐X2˅X3˅X4)˄(X1˅⌐X2˅⌐X3˅X4)

3. Таблица истинности (рис. 1):

X1	X2	X3	X4	⌐X1	⌐X2	⌐X3	X1˅X2˅X3˅X4	⌐X1˅X2˅X3˅X4	⌐X1˅⌐X2˅X3˅X4	X1˅⌐X2˅⌐X3˅X4

Рисунок 1 – Таблица истинности

4. Блок-схема алгоритма программы (рис. 2):

Рисунок 2 – Блок-схема алгоритма программы

5. Листинг программы:

PROGRAMlab_3;

varX1,X2,X3,X4: boolean;

BEGIN

writeln('Введите значения истинности(true или false) для X1,X2,X3,X4');

readln(X1,X2,X3,X4);

if(X1 orX2 orX3 orX4) and (not(X1) orX2 orX3 orX4) and(not(X1)or not(X2)or X3 orX4) and(X1 or not(X2) or not(X3)orX4)=false then

writeln('При значениях X1=',X1, 'X2=',X2,'X3=',X3,'X4=',X4,'выражение принимает ложное значение')

elsewriteln('При значениях: X1=',X1,' ', 'X2=',X2,' ','X3=',X3,' ','X4=',X4,' ', 'выражение принимает истинное значение');

END.

6. Окно вывода:

Введите значения истинности(true или false) для X1,X2,X3,X4

true

false

При значениях X1=TrueX2=TrueX3=FalseX4=False выражение принимает ложное значение

Заключение

Мы изучили принципы построения сложных логических высказываний и реализацию вычисления значений истинности с использованием средств программирования.