まずは定義
2つの命題P,Qのどちらかが必ず成り立つ時、PとQは強リンクしているという。この時 P ̄Q のように書く
2つの命題P,Qのどちらかが必ず成り立たない時、PとQは弱リンクしているという。この時 P_Q のように書く
P ̄QかつP_Qの時、PとQは完全リンクしているという。

ここでいう命題っていうのは、数独では「ある数字があるマスに入る」というようなことを指す
例えば
P「1行3列目に5が入る」
Q「1行3列目に7が入る」
とすると、この2つはどちらかが必ず成り立たないから PとQは弱リンクしている。
さらに1行3列目に入る数字候補が5と7の2つだけなら、PとQは強リンクしているとも言える。(つまり完全リンク)

余談:この例もそうだけど、数独における強リンクは完全リンクでもあることがほとんど。だからAICについて解説してるサイトではここで言う完全リンクのことを強リンクとして定義してることもある。でも、ここに書いたように定義したほうがより一般的で他のパズルにも応用が効く