Тестування: Величини логічного типу, операції над ними