Min
Elementary Functions
Min[
x
1
,
x
2
,...]
Theorems
Operations in Boolean algebra