考え方
表にしてみることをお勧めします。表にすることで、漏れを防ぐことが出来るからです。
■全体集合は、「今月」。「今月」は、稼働日と非稼働日に分割できます。
■稼働日は、火曜日と火曜日以外に分割できます。
■火曜日は、さらに第2第4週とそれ以外に分割できます。
■これらは、Non-Overlapping(重なり部がない)かつ全部のORを取ると「今月」となることが重要です。
以下、制約と説明図です。

考え方
表にしてみることをお勧めします。表にすることで、漏れを防ぐことが出来るからです。
■全体集合は、「今月」。「今月」は、稼働日と非稼働日に分割できます。
■稼働日は、火曜日と火曜日以外に分割できます。
■火曜日は、さらに第2第4週とそれ以外に分割できます。
■これらは、Non-Overlapping(重なり部がない)かつ全部のORを取ると「今月」となることが重要です。
以下、制約と説明図です。