Light Differentiable Logic Gate Networks