https://profilpelajar.com/en/True_quantified_Boolean_formula