假设你有一个像这样的布尔规则/表达式
(A OR B) AND (D OR E) AND F
您希望将其转换为尽可能多的AND表达式,如此
A AND D AND F
A AND E AND F
B AND D AND F
B AND E AND F
你只是减少了OR,所以它变成了
(A AND D AND F) OR (A AND E AND F) OR (...)
布尔代数中是否有属性可以执行此操作？