文數邏輯包