Matlab simplify boolean expression

41 次查看（过去 30 天）
ket
ket 2012-5-27
评论： Ibrahim Elewah 2022-6-26
I want to simplify a boolean algebra expression. I have taken this example from matlab online help but it does not work:
simplify((a and b) or (a and (not b)), logic)
Any suggestion?
I am using matlab R2012a (7.14.0.739)

请先登录，再回答此问题。

回答（3 个）

Geoff
Geoff 2012-5-27
The expression:
(A && B) || (A && ~B)
Is logically equivalent to:
A
The reason is that both terms require A to be true, and the whole expression evaluates to true regardless of whether B is true or false. If you drew up a truth table for this, it'd be immediately obvious.
[EDIT] Hadn't clicked that the poster was talking about the symbolic math toolbox.
syms a,b;
simplify( (a & b) | (a & ~b) )
  3 个评论
显示 1更早的评论
Geoff
Geoff 2012-5-28
Cheers.. I should stop answering outside my area of experience. =)
Oleg Komarov
Oleg Komarov 2012-5-28
But that's how you learn new things!

请先登录，再进行评论。

Alexander
Alexander 2012-5-29
You have copied a MuPAD command. Did you use it inside a MuPAD Notebook? If not, type this at the MATLAB command prompt:
mupad
This will open a MuPAD Notebook. There, paste the input near the bracket (red text should appear) and press enter:
[ simplify((a and b) or (a and (not b)), logic)
a
If you don't want to open a MuPAD notebook, try this in MATLAB:
evalin(symengine, 'simplify((a and b) or (a and (not b)), logic)')
Though if you prefer to stay in MATLAB, you should take what Geoff suggests:
syms a b;
simplify((a & b) | (a & ~b))
(For some reason it did not work for me with the comma between a and b).
ket
ket 2012-5-27
Ok, but how do use matlab to simplify a boolean expression? Also, it there a method where I can see the intermediate steps?
  1 个评论
Geoff
Geoff 2012-5-28
I don't have the symbolic math toolbox.. Does this work?
syms a,b;
simplify( (a & b) | (a & ~b) )

请先登录，再进行评论。

类别

在 Help Center 和 File Exchange 中查找有关 Utilities for the Solver 的更多信息

标签

Community Treasure Hunt

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

Start Hunting!

Translated by