А есть какая-то софтина, что бы преобразовывать выражения алгебры логики?
А если еще и с промежуточными результатами, так вообще супер.
Т.е. что бы могла делать что-то вида:
С помощью эквивалентных преобразований привести к ДНФ формулу...

Здравствуйте, BlackEric, Вы писали:

BE>А есть какая-то софтина, что бы преобразовывать выражения алгебры логики?
BE>А если еще и с промежуточными результатами, так вообще супер.
BE>Т.е. что бы могла делать что-то вида:
BE>С помощью эквивалентных преобразований привести к ДНФ формулу...

SymPy is a Python library for symbolic mathematics

к ДНФ: см. https://docs.sympy.org/latest/modules/logic.html#sympy.logic.boolalg.to_dnf

что-то в этом духе должна делать wolfram alpha

Здравствуйте, BlackEric, Вы писали:

BE>А есть какая-то софтина, что бы преобразовывать выражения алгебры логики?
BE>А если еще и с промежуточными результатами, так вообще супер.
BE>Т.е. что бы могла делать что-то вида:
BE>С помощью эквивалентных преобразований привести к ДНФ формулу...

Я как-то сам такое реализовал на Java. Это несложно. Сначала преобразуете в обратную польскую запись (RPN), а потом хоть в CNF, хоть в DNF. Я уложился менее, чем в 1000 строк (с комментариями, Javadoc и кодом, вычисляющим значение выражения).

Здравствуйте, BlackEric, Вы писали:

BE>А есть какая-то софтина, что бы преобразовывать выражения алгебры логики?

Кажется, что любые мат пакеты: Maple, Matlab, MatchCad, Wolfram Mathematica...
Или просто в линуксовой консоли — booldnf

Здравствуйте, 31415926, Вы писали:

3>Здравствуйте, BlackEric, Вы писали:

BE>>А есть какая-то софтина, что бы преобразовывать выражения алгебры логики?
BE>>А если еще и с промежуточными результатами, так вообще супер.
BE>>Т.е. что бы могла делать что-то вида:
BE>>С помощью эквивалентных преобразований привести к ДНФ формулу...

3>Я как-то сам такое реализовал на Java. Это несложно. Сначала преобразуете в обратную польскую запись (RPN), а потом хоть в CNF, хоть в DNF. Я уложился менее, чем в 1000 строк (с комментариями, Javadoc и кодом, вычисляющим значение выражения).

Спасибо. А исходников на гитхабе не завалялось?

Здравствуйте, BlackEric, Вы писали:

BE>Здравствуйте, 31415926, Вы писали:

BE>Спасибо. А исходников на гитхабе не завалялось?

у вольфрама?наверное нет