تشدیدکننده‌ها و تلطیف‌کننده‌ها | واژگان SAT