# Tagged Questions

The tag has no wiki summary.

10 views

### formulate a condition that function f(x,y) must hold in order to be considered as “associative” [migrated]

Let f(x,y):{0,1}^2->{0,1} be a Boolean function. Answer the following "warm-up" questions: a. Prove or dispute: The function f can be one-to-one. b. Formulate a condition that function f(x,y) must ...
39 views

### Logical expression evaluations [closed]

Why TautologyQ[Equivalent[Implies[p, And[q, r]], And[Implies[p, q], Implies[p, r]]]] is True and ...
149 views

### How would I input this truth table into Mathematica or Wolfram Alpha

I am unsure how to put the negations after a gate or before a gate?
119 views

### TrueQ returning False on true statement

Why does TrueQ return False on the following? TrueQ[Log[2]/Log[8] == 1/3] (* False *) ...
222 views

### GUI of a Karnaugh Map (2)

Adopting kguler's answer to my previous question, I managed to get the simplified map by using Mathematica's build-in function BooleanMinimize. The tough job left ...
138 views

### Is it possible to simulate a RS latch?

Combining the solutions provided from the nice guys here to my previous two questions(first, second), Interesting enough, simulations for simple logic gates can be implemented easily. An example is ...
116 views

### How to limit only two “0 and 1” strings for an xor implement?

I tried to implement some logic gates for a series of "0 & 1" strings, just like and, or, nand, nor and not listed below. How could I limit xor only accept a two strings list as its argument? ...
54 views

### What domain does Resolve assume by default?

Consider the statement: $\forall x\left(x<7\Rightarrow \exists a\exists b\exists c(a^2+b^2+c^2=x)\right)$ This is true provided the universe of discourse is $\mathbb{N}$ Now I use ...
1k views

### Elegant solution to the Zebra [logic] Puzzle (“Einstein's Riddle”)

The famous Zebra Puzzle (Wikipedia), often called "Einstein's Riddle," is a logic puzzle that can be solved deductively by applying a list of logical rules. One version of the riddle (from Wikipedia) ...
74 views

### Alternative to xor(A,B,C) [closed]

How can we make a comprehensive statement, which will correspond to the truth table of xor (A, B, C) (means that only true if exactly one of A,B,C is true) by combining logical operators AND (&), ...
94 views

### Transformation of a simple logic statement

I'm designing a logic circuit and I was wondering if the following two things are equivalent: (x <= y) and (x < (y + 1)) I can't think of any set of numbers that would make these two things ...
192 views

### How to “ReplaceAll” using a set of conditional expressions instead of a list of rules [closed]

Suppose that I have two linear functions f[x_] := f0 + f1 x g[x_] := g0 + g1 x and a (possibly rather complicated) set of conditional expressions, obtained ...
293 views

### How to generate the truth table to prove logical equivalence?

How to generate the truth table to show that $p \implies (q \vee r)$ is equivalent to $(p \wedge \neg q ) \implies r$ ? Can I use BooleanTable?
144 views

### Equality and Quantifiers

I am new to Mathematica and to Math. I do not study math in English, so please bear with me as I try to state my questions.. This is what I am trying to "solve": $$∃!x : A(x) ⇔ ∃x : ¬A(x)$$ In ...
79 views

### Using quantifiers with free indices as declarative conditions in equation solving

This is a toy example: Is there a way to rewrite ...
124 views

### Assumptions in mathematica when Symplify on Log[Exp[a/b]]

In mathematica 9.0: This: Assuming[b > 0 || b < 0, Simplify[Log[Exp[a/b]]]] yields: a/b However, this: ...
86 views

### Make MyLogicalExpand

The function by Mathematica to expand a formulation with ANDS, ORS, NOT, XOR, and others, is LogicalExpand, let see an example: ...
91 views

### Testing Equality Expression?

Even if in Graph[{1 -> 2}] == Graph[{1 \[DirectedEdge] 2}] the answer is True ; but why MMA doesn't show the result of the ...
127 views

### How to add variables to boolean expression and get conjunctive normal form?

I have the boolean expression (a && !b). I want to add variables c, d into the ...