Questions tagged [logic]
Questions on use and formulation of logical operations, including both functions for programming and for mathematical operations.
157 questions
0 votes
0 answers
110 views
Is there a better way to simplify logical expressions re than FullSimplify?
I have an example where Reduce outputted ...
0 votes
2 answers
111 views
How to take an intersection of lists of lists with significance data included
I have two sets of data as a list of binary lists and their measure of significance, for example ...
5 votes
2 answers
198 views
Simplifying a logical expression with multivariate polynomials
I have several expressions similar to a (a b + c d) != 0 || b (a b + c d) != 0 || c (a b + c d) != 0 || d (a b + c d) != 0 and I would like to reduce them ...
4 votes
4 answers
212 views
Why does FindInstance require specifying variables, and how to transform a list of logical expressions into the list of its variables [duplicate]
It would be convenient to have a function VarsfromLogical which out of {a+b>c,c+d==a} outputs {a,b,c,d} Incidentally, I use ...
10 votes
2 answers
1k views
Can Mathematica perform logical reasoning?
The question goes like this: Ms. Li has just moved into a new home and plans to buy several potted plants at once. Her thoughts are as follows: Buy either Green Radish or Podocarpus. Buy at least ...
3 votes
1 answer
109 views
How can we express more complex logical expressions in Mathematica?
How can we use quantifiers to express something a bit more complex such as - for example - the definition of limit: $$\forall \epsilon >0\hspace{2mm} \exists \delta >0 \hspace{.5mm} :\hspace{....
3 votes
1 answer
139 views
How to get the function-basis as they appear in the expression?
I have the following expression containing functions eg. Log, PolyLog etc, ...
1 vote
1 answer
244 views
How can I Xor two decimal numbers?
I want to take two numbers, say 200 and 101, and transform them into their binary form. Then XOR them together and transform the result back into the decimal form. The result in this case should be ...