BooleanMinimize¶ Find the minimal sum-of-products Boolean expression. $ wo 'BooleanMinimize[True]' True