a3cf2e0e4113010

http://nhiro.org.s3.amazonaws.com/2/3/2336b4353535e2a44359d8716c08c1c9.jpg https://gyazo.com/2336b4353535e2a44359d8716c08c1c9

(OCR text)

例1一部信用出来ないルール

11

「ルールx1, x2, は十分信用できるので

どれかーつがTrueならTrueを返していいけど

ルール×5, x6, .はn個以上Trueじゃないと

信用出来ない」

これのシンプルな例としてx1 or (x2 and x3)を考

える。x1は単体で信用できるが、x2とx3信頼出来

ないので両方Trueの時だけにしたい。