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

@Дана18 · Регистрация: 10.10.2014

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

Помогите решить задание.
Запрограммировать логическую функцию:
((a стрелка вниз b)v(a+b)) - ((c-d) стрелка вниз (c~d))

@arlat · 28.12.2015, 15:47

не вижу логической функции, можно исходную картинку

@Дана18 · 29.12.2015, 13:06 **[ТС]**

1. Запрограммировать свой вариант логической функции (согласно таблице 2.1) языке PROLOG (см. Пример ниже).
Пример. PROLOG программы удобны для моделирования работы различных сложных систем обработки информации, например радиотехнических систем. Каждая логическая линия связи (представляет собой логическую функцию) может быть описана соответствующим предикатом PROLOGе. Предикат характеризует отношение между сигналами на входе и выходе. Базовые функции основных компонент объектов описывают с помощью таблиц истинности.
Покажем как это делается на примере моделирования работы линии связи типа взаимоисключающего ИЛИ, схема которого приведена на рис. 2.1.
Пример программы:

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
domains
d = integer
predicates
nondeterm not_(d, d)
and_(d, d, d)
or_(d, d, d) nondeterm xor(d, d, d)
clauses
not_(1, 0). not_(0, 1).
and_(0, 0, 0). and_(0, 1, 0).
and_(1, 0, 0). and_(1, 1, 1).
or_(0, 0, 0). or_(0, 1, 1).
or_(1, 0, 1). or_(1, 1, 1).
xor(Input1, Input2, Output) :-
not_(Input1, N1), not_(Input2, N2),
and_(Input1, N2, N3), and_(Input2, N1, N4),
or_(N3, N4, Output).
goal: xor(Input1,Input2,Output).

Новые блоги и статьи Все статьи Все блоги /
[Owen Logic] Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ФедосеевПавел 14.03.2026 Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ВВЕДЕНИЕ Выполняя задание на управление насосной группой заполнения резервуара,. . .	делаю науч статью по влиянию грибов на сукцессию anaschu 13.03.2026 прикрепляю статью	SDL3 для Desktop (MinGW): Создаём пустое окно с нуля для 2D-графики на SDL3, Си и C++ 8Observer8 10.03.2026 Содержание блога Финальные проекты на Си и на C++: hello-sdl3-c. zip hello-sdl3-cpp. zip Результат:	Установка CMake и MinGW 13.1 для сборки С и C++ приложений из консоли и из Qt Creator в EXE 8Observer8 10.03.2026 Содержание блога MinGW - это коллекция инструментов для сборки приложений в EXE. CMake - это система сборки приложений. Здесь описаны базовые шаги для старта программирования с помощью CMake и. . .
Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки Neotwalker 08.03.2026 Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .	Модульная разработка через nuget packages DevAlt 07.03.2026 Сложившийся в . Net-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .	Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .	Управление камерой с помощью скрипта OrbitControls.js на Three.js: Вращение, зум и панорамирование 8Observer8 05.03.2026 Содержание блога Финальная демка в браузере работает на Desktop и мобильных браузерах. Итоговый код: orbit-controls-threejs-js. zip. Сканируйте QR-код на мобильном. Вращайте камеру одним пальцем,. . .

@Дана18 0 / 0 / 0 Регистрация: 10.10.2014 Сообщений: 121

	Логическая функция 26.12.2015, 16:03. Показов 1473. Ответов 2 Метки нет (Все метки) Помогите решить задание. Запрограммировать логическую функцию: ((a стрелка вниз b)v(a+b)) - ((c-d) стрелка вниз (c~d)) 0

@arlat 798 / 601 / 158 Регистрация: 07.10.2013 Сообщений: 1,330
	28.12.2015, 15:47
	не вижу логической функции, можно исходную картинку 0