1. Axel Kramer Avatar Axel Kramer
  2. Untitled project
  3. symja_android_library

Wiki

Clone wiki

symja_android_library / Symbols / BooleanMinimize

View History

BooleanMinimize

BooleanMinimize(expr)
minimizes a boolean function with the Quine McCluskey algorithm

Examples

>>> BooleanMinimize(x&&y||(!x)&&y)
y

Updated