Ile razy musi wystąpić każda zmienna, aby formuła zbudowana ze zmiennych zdaniowych wyłącznie za po-mocą spójnika⇔była tautologią?.