5
İlk sipariş mantığını CNF'ye dönüştürmek için C/C++/java'da mevcut bir uygulama var mı?İlk sipariş mantığını CNF'ye dönüştürme
A
cevap
1
gibi bir şey kullanmak daha verimli olabilir: uygulanması için Boolean Normal Form
, böyle basit bir şey için kendin yapmanızı öneririz. Verimli bir yöntem, psuedo kodu + açıklama here