Логические выражения и полусумматор: Технические детали