On Quantifying Literals in Boolean Logic and its Applications to Explainable AI