Програмирование упращения логических выражений

@IIIa66uMEM6eP · Регистрация: 05.12.2010

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

Что прошу:
программа | каркас | идея | помощь
На свой выбор и умение прошу помочь.
Что нужно:
Программа которая сможет упрощать введенные логические функции (булевы функции). Приводить их к компактному виду, преобразовывать сокращать.
Есть программа на делфи (нету исходника) - ссылка
Отличная статья по законам алгебры логики и законами преобразования - ссылка

Задача: повторить функционал программы или помочь с мат.моделью программы. Возможно буду выполнять на флеше с возможностью работы онлайн.
Почему выбрал с++ как место для создания темы - если мне напишут исходник на с++, для меня будет проще всего разобраться в коде.

Добавлено через 11 часов 9 минут
странно, может плохо описал задачу?

@IIIa66uMEM6eP · 28.12.2010, 19:29 **[ТС]**

Mr.X - я в шоке) дайте свой адрес я вышлю вам шоколадку!!! Чесно - большое спасибо.

Добавлено через 13 минут
439 строка - T_str var_name(s.begin(), str_it);
Ошибка при компилировании(

@Mr.X · 28.12.2010, 20:00

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

439 строка - T_str var_name(s.begin(), str_it);
Ошибка при компилировании(

Я только что скопировал обратно с форума и запустил у себя на студии без единой ошибки и замечания. Так что все претензии к вашему компилятору.

@IIIa66uMEM6eP · 28.12.2010, 20:02 **[ТС]**

Div C++)

@Mr.X · 28.12.2010, 20:03

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

Div C++)

Не, у меня такого нету.

@IIIa66uMEM6eP · 29.12.2010, 15:18 **[ТС]**

Чтож такое...437 строка. онлайн компилятор
http://codepad.org/
Output:
t.cpp: In member function 'bool T_log_calculator::calc_var_name(T_str&, T_truth_table&)':
Line 437: error: no matching function for call to 'ptr_fun(<unresolved overloaded function type>)'
compilation terminated due to -Wfatal-errors.

Добавлено через 19 часов 4 минуты

Сообщение от Mr.X

без единой ошибки и замечания

пробито в студии = там все отлично. но исполнительный не работает.. странно.

@Mr.X · 04.01.2011, 19:35

Вот экзешник, как вы просили.

@IIIa66uMEM6eP · 05.01.2011, 22:03 **[ТС]**

не то что нужно как оказалось...

Добавлено через 1 минуту

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

Задача: повторить функционал программы или помочь с мат.моделью программы

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

Добавлено через 9 часов 17 минут
Программа с нужным функционалом..
http://www.softportal.com/soft... eniya.html

это основы схемотехники...На вход подается логическое выражение, в нем переменные. Программа по возможности его упрощает и сокращает, строя таблицу истинности.

Пример работы будущей программы:
Человек пишет логическое выражение: (A-B)|!(B-C), где "-" это следствие, |-Оператор Шеффера (антиконъюнкция). !-отрицание.
Ответ программы:
A-B -> !A+B
!(B-C) -> !!B+C
!!B+C -> !B+C
(A-B)|(!(B-C)) -> (!((!A+B)(!B+C)))
(!((!A+B)(!B+C))) -> !((!A+B)(!B+C))
!((!A+B)(!B+C)) -> A!B+B!C
Ответ: B!C+A!B.

Таблица истинности:
A B C F
0 0 0 = 1
0 0 1 = 1
0 1 0 = 0
0 1 1 = 1
1 0 0 = 1
1 0 1 = 1
1 1 0 = 0
1 1 1 = 1

Программа упростила это выражение.

Еще раз благодарствую за помощь Mr.X, буду рад если кто то поможет с правкой под это условие.

@Dimon_I · 08.01.2011, 17:12

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

...это основы схемотехники...

Это не схемотехника, схемотехника это графическое представление функций И, ИЛИ, НЕ, а это просто Булева Алгебра.

@IIIa66uMEM6eP · 11.01.2011, 15:07 **[ТС]**

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

а это просто Булева Алгебра

))))))))) а булева алгебра не основа схемотехники?)

silent_1991 · 11.01.2011, 15:24

IIIa66uMEM6eP, вообще говоря, это отдельный раздел математики... И то, что в схемотехнике это используется, ещё не о чём не говорит. С тем же успехом можно сказать, что диффуры - основа электротехники. Нет, не основа, вспомогательный метод.

@Bonita575 · 11.01.2011, 22:49

Mr.X, Здравствуйте...я по поводу упрощения логических вункций в С++...вы выложили исходник для упрощения ,но только двух переменных. Реально сделать для 4-х?

Добавлено через 4 минуты
Mr.X скажите вашу аську, плиз

@Mr.X · 12.01.2011, 00:18

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

Mr.X, Здравствуйте...я по поводу упрощения логических вункций в С++...вы выложили исходник для упрощения ,но только двух переменных. Реально сделать для 4-х?

Добавлено через 4 минуты
Mr.X скажите вашу аську, плиз

Пишите в личку.

@Bonita575 · 12.01.2011, 08:01

В том то и дело... что не могу в лс

@Dimon_I · 16.01.2011, 11:06

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

Что прошу:
....
Есть программа на делфи (нету исходника) - ссылка
...

реально для 4-х переменных вот данная программа спокойно упрощает выражения с 4 переменными

@IIIa66uMEM6eP · 20.03.2011, 21:46 **[ТС]**

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

реально для 4-х переменных вот данная программа спокойно упрощает выражения с 4 переменными

сокращение выполняется по методу Квайна-МакКласки. Позволяет выполнять сколь угодно сложные преобразования.
хотя признаю - идея Mr.x по алгоритму тоже круто)) правда счетает меньше..
Есть исходник той программы, дал лично автор, кому нужно дам контакты.

@Виктория Настич · 22.03.2018, 22:48

у меня та же проблема, нужно чтоб программа упрощала выражения с более чем 2 переменными
отпишу в лс

Добавлено через 3 часа 11 минут
Как мне переписать программу для большего количества переменных?

Новые блоги и статьи Все статьи Все блоги /
Krabik - рыболовный бот для WoW 3.3.5a AmbA 21.03.2026 без регистрации и смс. Это не торговля, приложение не содержит рекламы. Выполняет свою непосредственную задачу - автоматизацию рыбалки в WoW - и ничего более. Однако если админы будут против -. . .	Программный отбор значения справочника Maks 21.03.2026 Процедура ВодителиНачалоВыбора(Элемент, ДанныеВыбора, ВыборДобавлением, СтандартнаяОбработка) / / Отключаем стандартную обработку (стандартное открытие формы выбора без фильтров) . . .	Переходник USB-CAN-GPIO Eddy_Em 20.03.2026 Достаточно давно на работе возникла необходимость в переходнике CAN-USB с гальваноразвязкой, оный и был разработан. Однако, все меня терзала совесть, что аж 48-ногий МК используется так тупо: просто. . .	Оттенки серого Argus19 18.03.2026 Оттенки серого Нашёл в интернете 3 прекрасных модуля: Модуль класса открытия диалога открытия/ сохранения файла на Win32 API; Модуль класса быстрого перекодирования цветного изображения в оттенки. . .
SDL3 для Desktop (MinGW): Рисуем цветные прямоугольники с помощью рисовальщика SDL3 на Си и C++ 8Observer8 17.03.2026 Содержание блога Финальные проекты на Си и на C++: finish-rectangles-sdl3-c. zip finish-rectangles-sdl3-cpp. zip	Символические и жёсткие ссылки в Linux. algri14 15.03.2026 Существует два типа ссылок — символические и жёсткие. Ссылка в Linux — это запись в каталоге, которая может указывать либо на inode «файла-ИСТОЧНИКА», тогда это будет «жёсткая ссылка» (hard link),. . .	[Owen Logic] Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ФедосеевПавел 14.03.2026 Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ВВЕДЕНИЕ Выполняя задание на управление насосной группой заполнения резервуара,. . .	делаю науч статью по влиянию грибов на сукцессию anaschu 13.03.2026 прикрепляю статью

@IIIa66uMEM6eP заставил Бендера 854 / 319 / 17 Регистрация: 05.12.2010 Сообщений: 1,707 Записей в блоге: 6

	Програмирование упращения логических выражений 25.12.2010, 10:10. Показов 13969. Ответов 35 Метки нет (Все метки) Что прошу: программа \| каркас \| идея \| помощь На свой выбор и умение прошу помочь. Что нужно: Программа которая сможет упрощать введенные логические функции (булевы функции). Приводить их к компактному виду, преобразовывать сокращать. Есть программа на делфи (нету исходника) - ссылка Отличная статья по законам алгебры логики и законами преобразования - ссылка Задача: повторить функционал программы или помочь с мат.моделью программы. Возможно буду выполнять на флеше с возможностью работы онлайн. Почему выбрал с++ как место для создания темы - если мне напишут исходник на с++, для меня будет проще всего разобраться в коде. Добавлено через 11 часов 9 минут странно, может плохо описал задачу? 0

@IIIa66uMEM6eP заставил Бендера 854 / 319 / 17 Регистрация: 05.12.2010 Сообщений: 1,707 Записей в блоге: 6
	28.12.2010, 19:29 [ТС]
	Mr.X - я в шоке) дайте свой адрес я вышлю вам шоколадку!!! Чесно - большое спасибо. Добавлено через 13 минут 439 строка - T_str var_name(s.begin(), str_it); Ошибка при компилировании( 0

@IIIa66uMEM6eP заставил Бендера 854 / 319 / 17 Регистрация: 05.12.2010 Сообщений: 1,707 Записей в блоге: 6
	28.12.2010, 20:02 [ТС]
	Div C++) 0

silent_1991 5058 / 3118 / 271 Регистрация: 11.11.2009 Сообщений: 7,044
	11.01.2011, 15:24
	IIIa66uMEM6eP, вообще говоря, это отдельный раздел математики... И то, что в схемотехнике это используется, ещё не о чём не говорит. С тем же успехом можно сказать, что диффуры - основа электротехники. Нет, не основа, вспомогательный метод. 0

@Bonita575 0 / 0 / 0 Регистрация: 11.01.2011 Сообщений: 3
	11.01.2011, 22:49
	Mr.X, Здравствуйте...я по поводу упрощения логических вункций в С++...вы выложили исходник для упрощения ,но только двух переменных. Реально сделать для 4-х? Добавлено через 4 минуты Mr.X скажите вашу аську, плиз 0

@Bonita575 0 / 0 / 0 Регистрация: 11.01.2011 Сообщений: 3
	12.01.2011, 08:01
	В том то и дело... что не могу в лс 0

@Виктория Настич 0 / 0 / 0 Регистрация: 23.09.2017 Сообщений: 30
	22.03.2018, 22:48
	у меня та же проблема, нужно чтоб программа упрощала выражения с более чем 2 переменными отпишу в лс Добавлено через 3 часа 11 минут Как мне переписать программу для большего количества переменных? 0