x1 : x4 + x5
x2 : ~x1
x3 : x4 + x5
x4 : (~x1)(~x3)
x5 : x2 + x4
