Operator Boolean dalam masalah Queen

Question

Dalam kertas , (halaman 28) Saya melihat aturan untuk harus ada ratu di setiap baris .

Pertanyaan saya adalah:

 Xi1 & Xi2 &....XiN

...dari pada:

 Xi1 or Xi2 or....XiN

Answer 1

Teksnya sudah benar. Itu$X_{i1} \lor X_{i2} \lor \dots \lor X_{iN}$ berarti seorang ratu akan berada di baris $i$ dan kolom $1$, atau akan berada di baris $i$ dan kolom $2$, $\dots$ atau itu akan di baris $i$ dan kolom $N$(dengan kata lain, seorang ratu akan berada di suatu tempat dalam barisan$i$). Sekarang Anda menginginkan ini untuk semua baris$i$, di situlah logis dan masuk Anda bisa menulisnya sebagai $$(X_{11} \lor X_{12} \lor \dots \lor X_{1N})\tag{*}\\ \land (X_{21} \lor X_{22} \lor \dots \lor X_{2N})\\ \vdots\\ \land(X_{N1} \lor X_{N2} \lor \dots \lor X_{NN}), $$atau Anda dapat melakukannya dengan lebih ringkas (seperti yang dilakukan penulis teks): Untuk semua $i$: $$X_{i1} \lor X_{i2} \lor \dots \lor X_{iN},$$ yang sama dengan $(*)$.