Simplify Boolean/logical expression

I have the following commands:
syms a b c;
S = simplify( ((a|b) | a) & (a|c) );
When I run them, it gives me the following answer:
(a | b) & (a | c)
which is correct, but it is not the simplest answer. The simplest answer is this:
a | (b & c)
For what I am working on, when 'a' appears two times, it changes the result and calculation. So I get the wrong outputs. I was wondering if there is a way to get the simplest answer such as the second one for a Boolean expression or if I can make changes to the current commands to get the second answer?
Note: This is just an example, I will have about 15-20 elements/sets in my Boolean expression.

 採用された回答

Walter Roberson
Walter Roberson 2020 年 8 月 14 日

2 投票

simplify(S, 'steps', 10)

その他の回答 (1 件)

Cris LaPierre
Cris LaPierre 2020 年 8 月 14 日

1 投票

You could try using the "Steps" name-value pair
S = simplify( ((a|b) | a) & (a|c) ,"Steps",50)

1 件のコメント

Sara Nikdel
Sara Nikdel 2020 年 8 月 14 日
Thank you, It worked.

サインインしてコメントする。

カテゴリ

ヘルプ センター および File ExchangeMathematics についてさらに検索

製品

リリース

R2020a

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by