Hello. Is there a function in the Wolfram Language to compute the prime implicants of a Boolean function?
If yes, which one?
If no, can I find one in a function repository or elsewhere?
Many thanks, any help highly appreciated.
Francisco
Many thanks for your suggestion Daniel, will try it!
BooleanMinimize might do what you want.
BooleanMinimize
