Не знаю, я как-то привык к старой доброй Булевой алгебре. Там все получается наиболее компактно и читабельно, имею в виду чисто релейные алгоритмы. А все остальное на ST, естественно.