Compute the prime implicants of a Boolean function?

Questions
,
1

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

2

BooleanMinimize might do what you want.

3

Many thanks for your suggestion Daniel, will try it!