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

@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 минут
Как мне переписать программу для большего количества переменных?

Новые блоги и статьи Все статьи Все блоги /
Книги по геймдизайну, левел-дизайну, игровым механикам и проектированию игрового опыта 8Observer8 08.11.2026 Содержание блога \| English Version 1. 2003 - 06 - Designing Virtual Worlds (1st Edition) Автор: Richard A. Bartle \| Объем: 768 стр. Ссылки: Amazon . . .	Родители токсичные абьюзеры по отношению к своим детям ругают их оскорбляют не любят zorxor 08.11.2026 Жить в атмосфере постоянных оскорблений, критики и холодности со стороны родителей — это тяжелое и болезненное испытание, которое оставляет глубокие эмоциональные раны. Токсичное и абьюзивное. . .	Как только я захожу к себе в свою комнату я сразу же с себя снимаю свои трусы. Ответ от Джемени ИИ. zorxor 08.11.2026 Джемени, как только я захожу к себе в свою комнату я сразу же с себя снимаю свои трусы. Многие люди, возвращаясь домой, сразу переодеваются в максимально свободную одежду или вовсе предпочитают. . .	Паттерн очереди действий/команд (Action / Command Queue). Система очереди действий и кат-сцен с SDL3 Callbacks, cglm и OpenGL 8Observer8 07.11.2026 Содержание блога \| English Version Руководство для начинающих по реализации паттерна очереди действий/ команд (Action / Command Queue) на C++ (C++20) с использованием официального SDL3 Callbacks. . .
Проверка полного ФИО в типовом справочнике Maks 07.11.2026 Решение реализовано в конфигурации КА2, на примере справочника "КонтактныеЛицаПартнеров". Задача: Запрет инициалов. Не допускаеть использование сокращений вида "И. И. ", "И. И. ", "И И" и. . .	Про "Windows must die!" kumehtar 04.11.2026 Знаете, чет накатило. . . . Когда-то это было почти боевым кличем: мол, нормальный человек сидит на DOS, OS/ 2 или Linux, а вот это вот - Must Die. А теперь человек произносит «мастдай» с усмешкой - и. . .	Красочные поля с номером страницы svg+background-image russiannick 04.11.2026 Красочные поля с номером страницы не менее важны чем в эпоху бумажных книг. Посему спешу представить почтеннейшей публике этот важный инструмент который эти поля и формирует. В процессе разработки. . .	Вступаем в новую фазу генерации favicons, векторную. russiannick 02.11.2026 Теперь нет нужды скрывать что используется простой svg. Исходный код изображения помещаем в поле и жмем кнопку. Исходник преобразуется в вид корректный для помещения в favicon или в url(). Нажатие. . .

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

	Програмирование упращения логических выражений 25.12.2010, 10:10. Показов 14287. Ответов 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