Делители, Сплиттеры, Сумматоры SAT