Boolsim

This format defines a model as a list of activating and inhibiting conditions of its components.

• The conditions use the & operator for AND, and ^ for NOT
• Activations are defined as: condition -> target
• Inhibitions are defined as: condition -| target
• The complete function will be: (activation1 OR activation2) & !(inhibition1 OR inhibition2)

Sample

A&^C -> A
A&C -| B
B -> B
^A -> C