e0e7a9474579,017

http://nhiro.org.s3.amazonaws.com/3/8/389c739dced9ce535adf68fc7cfb6230.jpg https://gyazo.com/389c739dced9ce535adf68fc7cfb6230

(OCR text)

右辺をそろえてみる

18

条件×1, x2, ., x5の、すべてがTrue(弱い)

x1 + ...) >= 1

*

条件×1, x2,.., x5のうち3つ以上True

x1 .) >= 1

条件×1, x2, ., x5の、 どれかがTrue(強い)

(1 * x1 + ..) >= 1