The tag has no wiki summary.

learn more… | top users | synonyms

5
votes
0answers
77 views

Using quantifiers with free indices as declarative conditions in equation solving

This is a toy example: Is there a way to rewrite ...
2
votes
0answers
180 views

Reference request for logic programming in Mathematica

I'm learning Mathematica(v8) to use it to program formal logic. Can anyone recommend a logic-specific tutorial text? A reference list of logic-related functions would also be very appreciated!
0
votes
0answers
1 views

i just want to find out this question's answer

Please help me to solve this problem it's based on base / radix problem ,x and y are the base of any number system Given that the value of (73)base x equals to (54)base y . What is the value of x ...
0
votes
0answers
129 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 ...