IO (2)

• Obecné závislosti

• y1,...,ykx1,...,xm((A1 ... Ap)  (B1 ... Bq))

• kde k, p, q  1, m0,

• Ai … pozitivní literály s proměnnými z {y1,...,yk}

• Bi … rovnosti nebo pozitivní literály s proměnnými z {y1,...,yk}  {x1,...,xm}

• m = 0 … plné závislosti