Ngā hua rapu - Davis-Putnam-algoritmen*

Kāore he hua

Kāore tō rapu - Davis-Putnam-algoritmen* - i ōrite ki tētahi rauemi.

Ka taea pea ētahi hua anō mā te whakakē i tō uiui rapu.