Diberikan sembilan variabel boolean X₁ s.d. X₉ . Dari kesembilan variabel tersebut, dibuat beberapa kalimat boolean, yaitu:

• X₂ xor (~X₁ )
• (~X₅ ) xor X₆
• X₅ xor X₄
• (~X₃ ) xor (~X₄ )
• X₃ xor (~X₅ )
• X₇ xor (~X₈ )
• (~X₉ ) xor X₉
• X₆ xor X₃

Ada berapa kemungkinan konfigurasi X₁ s.d. X₉ yang membuat setidaknya ada satu kalimat bernilai FALSE? Dua konfigurasi dikatakan berbeda apabila di antara dua konfigurasi tersebut terdapat setidaknya satu X_i (1 <= i <= 9) yang bernilai beda. (Catatan: A xor B akan bernilai TRUE jika nilai A dan B tidak sama.)