- Автоматизация
- Антропология
- Археология
- Архитектура
- Биология
- Ботаника
- Бухгалтерия
- Военная наука
- Генетика
- География
- Геология
- Демография
- Деревообработка
- Журналистика
- Зоология
- Изобретательство
- Информатика
- Искусство
- История
- Кинематография
- Компьютеризация
- Косметика
- Кулинария
- Культура
- Лексикология
- Лингвистика
- Литература
- Логика
- Маркетинг
- Математика
- Материаловедение
- Медицина
- Менеджмент
- Металлургия
- Метрология
- Механика
- Музыка
- Науковедение
- Образование
- Охрана Труда
- Педагогика
- Полиграфия
- Политология
- Право
- Предпринимательство
- Приборостроение
- Программирование
- Производство
- Промышленность
- Психология
- Радиосвязь
- Религия
- Риторика
- Социология
- Спорт
- Стандартизация
- Статистика
- Строительство
- Технологии
- Торговля
- Транспорт
- Фармакология
- Физика
- Физиология
- Философия
- Финансы
- Химия
- Хозяйство
- Черчение
- Экология
- Экономика
- Электроника
- Электротехника
- Энергетика
Программирование логических связок»
Министерство науки и высшего образования Российской Федерации
Федеральное государственное бюджетное образовательное учреждение высшего образования «Рязанский государственный радиотехнический университет имени В.Ф. Уткина»
Кафедра «САПР ВС»
Математическая логика и теория алгоритмов
Отчет о лабораторной работе № 1
«Программирование логических связок»
Выполнила:
ст. гр. 046
Костин В.
Бурцева С.
Проверила:
Ст. пр. Бакулева М.А.
Рязань 2020
Цель: научиться программировать логические связки.
Задание:
А: (x*x-3y)>10
B: abs(x)>1
C: (-3*x+y*y)>0
((AàB) ß àне C) или не B
Таблица истинности
| А | B | C | A→B | ⌐C | (A→B)↔ ⌐C | ⌐B | ((A→B)↔ ⌐C)V ⌐B |
| F | F | F | T | T | T | T | T |
| F | F | T | T | F | F | T | T |
| F | T | F | Т | T | T | F | T |
| T | F | F | F | T | F | T | T |
| T | T | F | T | T | T | F | T |
| T | F | T | F | F | T | T | T |
| F | T | T | T | F | F | F | F |
| T | T | T | T | F | F | F | F |
Таблица интерпретации:
|
| A | B | C |
| |||||
| x | y | X*X – 3*Y>10 | │X│>1 | (-3*X + Y*Y)>0 | A→B | ⌐C | (A→B)↔ ⌐C | ⌐B | Итоговое значение истинности |
| -1 | F | F | T | T | F | F | T | T | |
| 1,5 | F | F | T | T | F | F | T | T | |
| F | F | T | T | F | F | T | T | ||
| 2,5 | F | T | T | T | F | F | F | F | |
Блок-схема:
Программа:
PROGRAMlab_1;
VARx,i,n: integer; y:real;
a, b, c: boolean;
BEGIN
y:=1;
x:=-1;
n:=1;
fori:=1 to4 do
begin
a:=(x*x-3*y)>10;
b:=abs(x)>1;
c:=(-3*x+y*y)>0;
WRITELN('Проход номер', ' ', n);
WRITELN(a);
WRITELN(b);
WRITELN(c);
if((not(a) orb) = notc) or notb then
WRITELN('Высказывание интерпретируется как истина')
else
WRITELN('Высказывание интерпретируется как ложь');
y:=y+0.5;
x:=x+1;
n:=n+1;
end;
END.
Окно вывода:
Проход номер 1
False
False
True
Высказывание интерпретируется как истина
Проход номер 2
False
False
True
Высказывание интерпретируется как истина
Проход номер 3
False
False
True
Высказывание интерпретируется как истина
Проход номер 4
False
True
True
Высказывание интерпретируется как ложь
Вывод: мы научились программировать логические связки.
|
|
|
© helpiks.su При использовании или копировании материалов прямая ссылка на сайт обязательна.
|