自由量词合取范式

quantifier-free conjunctive-normal form

пословный:

自由	量词	合取范式
zìyóu 1) свобода; свободный 2) вольный, не стеснённый правилами (программой) 3) либеральный zìyou диал. незанятый, праздный	liàngcí грам. счётное слово	_conjunction normal form, conjunctive normal form

близкие: