0
|
11594 Views
|
9 Replies
|
0 Total Likes
View groups...
Share
GROUPS:

# How to write equations in wolfram?

Posted 9 years ago
 Hello, I have these equations which I need to write it Wolfram ... How to do Negate? These equations are equal can I somehow compute one equation from another using Wolfram and boolean algebra? Thank you Attachments:
9 Replies
Sort By:
Posted 9 years ago
 Alon,I usually use the function Equivalent together with TautologyQ to test if two logical expressions are equivalent, like this: (* Let us prove that ((A OR B) => C) <=> (A => C) AND (B => C) *) Equivalent[Implies[Or[A,B],C], And[Implies[A,C],Implies[B,C]]]//TautologyQ Now, if you substitute your own expression instead of these two simple ones shown above, then it should work. Note that this is for Mathematica and not for Wolfram Alpha (I don't know if Wolfram Alpha understands the same syntax or not).
Posted 9 years ago
 I fixed the first link... sorry about that. The second one discusses the area of automated theorem proving--often (I think) it's in the realm of automatically generating a boolean proof (via manipulating logical expressions) of a logical equivalence. Which is that I think you are wanting to do.
Posted 9 years ago
 Hmm thx but I do not have time to learn all this stuff just for these two equations so no easy way I see :(
Posted 9 years ago
 You might be interested in this:http://www.wolframscience.com/nksonline/page-1157c-textand thishttp://en.wikipedia.org/wiki/Automated_theorem_proving
Posted 9 years ago
 First link does not work second I dont understand ... is there any software for it?
Posted 9 years ago
 Is you + sign the same as Or and your * sign the same as And? I believe so. So with this the two "sentences" corresponding to your two logial expressions would be (if I haven't made any mistakes) respectively: (a and c) or (c and d) or (a and b and d) or (!a and !b and d) or (a and !b and !d) or (!a and !c and !d) and (a or !c or d) and (!a or !b or c or d) and (a or !b or c or !d) and (!a or b or c or !d) As Mathematica expressions these are respectively: expression1=(a && c) || (c && d) || (a && b && d) || ( ! a && ! b && d) || (a && ! b && ! d) || ( ! a && ! c && ! d) and  expression2= (a || ! c || d) && ( ! a || ! b || c || d) && (a || ! b || c || ! d) && ( ! a || b || c || ! d) And we can see if these are the sam by using BooleanTable: In:= BooleanTable[expression1, {a, b, c, d}] Out= {True, True, True, False, True, True, False, True, True, \ False, False, True, True, False, True, True} In:= BooleanTable[expression2, {a, b, c, d}] Out= {True, True, True, False, True, True, False, True, True, \ False, False, True, True, False, True, True} In:= BooleanTable[expression2, {a, b, c, d}] === BooleanTable[expression1, {a, b, c, d}] Out= True So, what about Wolfram Alpha? One problem is that forming the And of the two word expressions is too long for the Wolfram Alpha input field... so it goes nowhere. One possibility is to do two Wolfram Alpha calls ((a and c) or (c and d) or (a and b and d) or (!a and !b and d) or (a and !b and !d) or (!a and !c and !d)) truth table and ((a or !c or d) and (!a or !b or c or d) and (a or !b or c or !d) and (!a or b or c or !d)) truth table and visually compare the truth tables.perhaps there are some other approaches in pure Wolfram Alpha that others can suggest.
Posted 9 years ago
 Wow this is amazing - thx for letting me know how to input it ... What I am trying to do is to use boolean algebra instead of truth tables for proving it is equal but I dont know how ...By using the laws of Boolean algebra, I have to prove that both equations Ydmin and Ykmin are equivalent. Thus, I have to take as a starting point one of them, for example Ykmin and make such adjustments using the laws of BA until I come with Ydmin. It is also possible to take as the starting point Ykmin and with BA Laws "convert" it to Ydmin ...
Posted 9 years ago
 I mean Wolfram Alpha - I read the documentation but when I add the "symbols" there it just return me some nonsense - and yes I mean logical things with 4 variables A B C and D - these two equations should be equal but I need to find a way to create one equation from another.
Posted 9 years ago
 What do you mean by Wolfram: Mathematica or Wolfram Alpha?Also, what do you mean by Negate? Do you mean logical negation or changing the sign of an algebraic expression? I think you are meaning logical operations. If so, read the documentation (always read the documentation). Here are some links if you are meaning Mathematica.http://reference.wolfram.com/language/guide/LogicAndBooleanAlgebra.htmlhttp://reference.wolfram.com/language/howto/UseLogicalOperators.htmlhttp://reference.wolfram.com/language/guide/TheoremProving.html