e0e7a9474579,016

http://nhiro.org.s3.amazonaws.com/6/0/607c5e925872489321e5bc90b7467f19.jpg https://gyazo.com/607c5e925872489321e5bc90b7467f19

(OCR text)

andもorも同じ形にできる

17

条件×1, x2, , x5の、すべてがTrue

(x1 + x2 + x3 + x4 + x5) >= 5

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

(x1 x2 + x3 x4 x5) >= 3

条件×1, x2, , x5の、どれかがTrue

(x1 x2 x3 x4 x5) >= 1