ere seems to be a good tutorial on SPICE and EDA. Sometimes it is easier for me to see the logic of a situation as circuits. It is just habit and all that time reading schematics and trying to understand WTF it should be doing when it is broke.
The basic cell of this logic hasn't been "De Morgan ed" as the slang goes. It is a physical logic which isn't normally ambiguous except when there are race conditions and when dealing with real life, as opposed to design, that figures in quite often.
This particular circuit has paths that have delays and when all the cells are connected it does have feedback paths. There would be intervals when the output was paradoxical or nonsensical and it would seem that is also true of reasoning. The time of measuring a relationship is critical for a valid solution.
gEDA seems to have improved a lot since last I used it. Just like gimp and blender and many other utilities, they are becoming quite polished and intuitive to use as well as much more stable. I particularly like the two key combinations that can be memorized for simple tasks like rotating an element.
It is a circuit I am hoping to incorporate into my "Polly Math" automaton as FPGAs.
ahkab" and is written in Python.
I am not so interested in simulating circuits, but what methods are used and how does it correlate with boolean algebra, AI, matrix solutions, simultaneous equations and physical or virtual matter.