Cebirsel ispat ve algoritmik doğrulama yöntemlerinin karşılaştırılması ile ilgili aşağıdakilerden hangisi doğrudur?
A) Algoritmik doğrulama her zaman daha hızlıdır
B) Cebirsel ispat sonsuz sayıda durum için geçerlidir
C) Algoritmik doğrulama daha kesin sonuç verir
D) Cebirsel ispat sadece sonlu durumlar için kullanılır
