Без заголовка

Что касается формулы A = (X + T)×(Y + Z + T) то ее можно воспринимать как обычную арифметическую, со сложением и умножением (только заменить надо T на единицу): A = (X + 1)×(Y + Z + 1) В частности, можно раскрывать скобки, и это будет иметь интуитивный смысл. A = X×Y + X×Z + X + Y + Z + 1 Т.е. сущность типа A может быть одновременно X и Y, одновременно X и Z, просто X, просто Y, просто Z. Единица в конце смущает, конечно, но это можно обработать.