QBF 4
q
a 2
d


q
a 3
c


/c
/q
q
a 4
c
3 4

/c
/q
/d
/q
