# #以降，改行までコメントと見なす．

OS (Windows7 Windows7_64 Vista) 
メモリ (4GB 2GB 1GB 8GB)
CPU ( Corei7  Corei5 Atom )
Disk (SDD HDD)
Disk2 (SDD HDD)

# グループ化→3網羅以上のため
{OS メモリ Disk}  {メモリ Disk CPU}

# 制約(禁則)を列挙
# (if (and (== [メモリ] 8GB) (== [Disk] HDD) ) (or (== Vista [OS]) (<> [OS] Windows7) (<> [Disk] [Disk2]) ))

# (ite (== [Disk] [Disk2]) (== [メモリ] 4GB) (<> [メモリ] 2GB))

# (and (not (and (<> [OS] Windows7_64) (== 8GB [メモリ]))) (or (<> [OS] [メモリ]) (<> 4GB [メモリ]) (== [Disk] [CPU] )))

# 単項演算子：not
# ２項演算子：==，<>, if
# ３項演算子：ite (if-then-elseの意味)
# 多項演算子：or, and 

# 算術演算子（因子の値に対する演算．結果はブール値）
# ==, <> 