Pobieranie 54. Quantifiled_boolean_formulas_Potoniec_2023.pdf...