A Characteristic Set Method for Solving Boolean Equations

More documents

Recommendations

Info

Background CS Method Implementation Experiment Conclusion Characteristic Set Method: An Example Example (Zhu Shijie) P1 = xyz − xy 2 − z − x − y, P2 = xz − x 2 − z − y + x, P3 = z 2 − x 2 − y 2 .
Background CS Method Implementation Experiment Conclusion Characteristic Set Method: An Example Example (Zhu Shijie) We have: P1 = xyz − xy 2 − z − x − y, P2 = xz − x 2 − z − y + x, P3 = z 2 − x 2 − y 2 . Zero({P1, P2, P3}) = Zero(C1) ∪ Zero(C2) ∪ Zero(C3). C1 = x − 3, y − 4, z − 5; One solution C2 = x − 1, y, z + 1; One solution C3 = x, y + z; Dimension one
Page 1 and 2: Background CS Method Implementation
Page 3: Background CS Method Implementation
Page 55 and 56:
Background CS Method Implementation
Page 57 and 58:
Page 59 and 60:
Page 61 and 62:
Page 63 and 64:
Page 65 and 66:
Page 67 and 68:
Page 69 and 70:
Page 71 and 72:
Page 73 and 74:
Page 75 and 76:
Page 77:
show all

A Characteristic Set Method for Solving Boolean Equations

Create successful ePaper yourself

Delete template?

Save as template?