a3cf2e0e4113013

http://nhiro.org.s3.amazonaws.com/e/2/e289d7d1383d96f91070ef6f4adac866.jpg https://gyazo.com/e289d7d1383d96f91070ef6f4adac866

(OCR text)

例2 例外があるルール

14

「ルールx1, x2.のどれかがTrueならTrueを返す

ただし例外としてルールx5がTrueの時を除く」

これのシンプルな形として(x1 or x2) and (not x3)

を考える。x3がTrueの場合を例外として、x1か×2

がTrueならTrueを返す。