08/05/23 23:27:56
同じじゃない。>>59の１つ目のrequireは①と③が両方とも嘘の場合を含んでるけど、
>>23のは含んでない。
でも、>>23も正解に到達するのは２つ目のrequireを追加することが両方とも嘘の場合を却下したからだ。
だから>>59の両方とも嘘の場合もキャンセルされて、>>23と>>59は同じ結果になる。
ということは>>23はrequireを追加しただけじゃなく(not(and① ②))も書き換えてることになる。
08/05/23 23:27:56
同じじゃない。>>59の１つ目のrequireは①と③が両方とも嘘の場合を含んでるけど、
>>23のは含んでない。
でも、>>23も正解に到達するのは２つ目のrequireを追加することが両方とも嘘の場合を却下したからだ。
だから>>59の両方とも嘘の場合もキャンセルされて、>>23と>>59は同じ結果になる。
ということは>>23はrequireを追加しただけじゃなく(not(and① ②))も書き換えてることになる。