logika adam: Czy ktoś mi wytłumaczy na prostym przykładzie na czym polega rezolucja CNF w logice? Co to właściwie jest, do czego służy, bo w moim podręczniku nie ma ani słowa na ten temat, a zbiór zadań mamy z innego wydawnictwa.