Логика и компьютер. Логические операции