简化布尔表达式（a *'b *'c）+（'a *'b * c）+（'a * b *'c）+（a *'b * c）

Question

我在布尔表达式的最后一部分遇到了很多麻烦，我正在努力简化。到目前为止，我得到了（其中乘法是AND，加法是OR）：

（a *'b *'c）+（'a *'b * c）+（'a * b *'c）+（a *'b * c）

（a *'b *'c）+（a *'b * c）+（'a *'b * c）+（'a * b *'c）

a（（'b *'c）+（'b * c））+（'a *'b * c）+（'a * b *'c）

a（'b（c +'c））+（'a *'b * c）+（'a * b *'c）

a（'b（1））+（'a *'b * c）+（'a * b *'c）

（a *'b）+（'a *'b * c）+（'a * b *'c）

然而，我从wolfram alpha获得的答案是

（a *'b）+（'b * c）+（'a * b *'c）

我根本不知道如何完成最后一步。任何帮助将不胜感激

Answer 1

你的四个术语（其中任何一个使整个表达式成立）是：

1/ a  b' c'
2/ a' b' c
3/ a' b  c'
4/ a  b' c

我们要做的是消除不相关的项目，以便我们查找两个项目完全相同的对。

要获得Alpha的结果，请先合并1和4。 ab'的共性是c是真还是假是无关紧要的。而且，由于我们已将它们组合在一起，因此表达式不再需要1和2。

然后合并2和4。 b'c的共性为a，因此1无效。同样，将这两者结合起来意味着在最终表达中不再需要它们。

所以2，4和3消失了。 a^b' v b'^c v a'^b^c' 与任何其他子表达式之间没有两项共性，因此无法进一步简化。

这给了我们：

/**
 * @NApiVersion 2.x
 * @NScriptType ClientScript
 */
// In SuiteScript 2.0   
define(['N/search'], function(search) {
    return {
        pageInit: function(context) {
            var currentRecord = context.currentRecord;
            // Set Value (This does not set any data)
            currentRecord.setValue({ fieldId: 'inline_html_field', value: '<div>Test Value</div>' });
            // Get value (Returns undefined)
            currentRecord.getValue({ fieldId: 'inline_html_field'});
        }
    }
});

// In SuiteScript 1.0
nlapiGetFieldValue('inline_html_field'); // Returns the data in field