Variables: a, b, c, d
Terms:
"0010">1
7>1
14>1
"01xx">1
"x000">1