and はビットごと(1 とか 2 とか 4 とか 8 とか 16 とか 32 とか 64 とか...)の論理積をとります。 1 and 1 == 1 なので、 if 1 and 1 then は then 節が実行される。 1 and 2 == 0 なので if 1 and 2 then は then 節は実行されない。 if p && q then は if p then if q then と同じ。 1 && 1 の場合 if 1 then if 1 then .. と同じなので ... が実行される。 1 && 2 の場合 if 1 then if 2 then .. と同じなので ... が実行される。