The tag has no wiki summary.

learn more… | top users | synonyms

5
votes
0answers
74 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
173 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
104 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 ...