Программеры, отзовитесь

[aridmoors]

Имеется научная задача. В клетке есть несколько протеинов, которые могут либо присутствовать в какой-то данный момент времени, либо отсутствовать. Клетка все время двигается во времени, поэтому протеины включаются-выключаются. Необходимо определить и наглядно показать связи присутствия-отсутствия между этими протеинами. Про многие эти связи уже известно. Например, известно, что если у нас протеин А в клетке есть, то протеина Б точно нет (они взаимоисключаются). Известно, что если протеин В есть, то протеина Г точно нет. Но так как протеинов много, и какие-то связи неизвестны, то надо вот составить такой симулятор связей.

Хотелось бы на выходе иметь какую-то программу, в которую можно было бы забить известные данные про несколько протеинов, а программа уже показала бы тебе наглядно, какие возможные значения могут быть у других остальных протеинов.

Вопрос: как лучше это изобразить и на чем это лучше писать?