What sort of graph to represent this business logic decision tree?

How would I usually represen开发者_Go百科t this business logic in a graph?

A is true if
 B is true or
 C is true

C is true if
 D is true and
 E is true and
 F is true

X is true if
 Y is true and
 C is not true 

Is it a directed acyclic graph? How do I represent the 'and'/'or' logic in the graph, in graph terminology?

(I am looking for the correct graph terminology, so I can focus my reading.)

---

     (D)  (E)  (F)
      |    |    |
       \   |   /
         [AND]
          |
(B)      (C)
 |       |
  \     /
   [OR]
    |
   (A)

How about a graph with some nodes representing boolean variables and others boolean operations?

This is directed acyclic graph.

NOTE: I am not sure if this is very helpful.Expecting comments. :)

---

What about using Karnaugh maps? To me they feel a natural form to represent your data..

---

Ok, so you might want to look at the Specification pattern for this.

But it sounds like you are seriously overcomplicating things... you just need a composite data type. Call it whatever you like, so long as it works.