Որոնման արդյունքները - Davis-Putnam-algoritmen*

Դուք կարող եք ավելի շատ արդյունքներ ստանալ՝ կարգավորելով ձեր որոնման հարցումը:

• Անորոշ որոնում կատարելը կարող է գտնել նմանատիպ ուղղագրությամբ տերմիններ: Davis-Putnam-algoritmen~.