1.Previous
3.Next

of constituents of minimum, where a constituent of minimum is a conjunction of variables of the current area greater than or equal to the function value in this area (to the right of the function value in the inequality, including the function value).

Another set of AND/OR operators is based on multiplication, where

x AND y = x * yNOT x = 1 - x

Hence, x OR y = NOT( AND( NOT(x), NOT(y) ) )x OR y = NOT( AND( 1 - x, 1 - y) )x OR y = NOT( (1 - x) * (1 - y) )x OR y = 1 - (1 - x)

1.Previous
3.Next