Untitled

OR - filled

XOR - empty

Aussagenlogische Formula aus Feature Model (#1) (#2) (#3) (#4) (#5) (#6) (#7)

Untitled

A OR B maps to A OR B

A XOR B Maps to (A AND !B) OR (!A AND B)

OPT(A) maps to (A AND (subtree(A))) OR !A

All childten are connected with AND

Untitled

CHASSIS AND ((TRACKED AND !X) OR (!TRACKED AND X))

X = WHEELED AND TIRES AND ((!STREET AND OFF_ROAD) OR (STREET AND !OFF_ROAD))