Формула логики является ... тогда и только тогда, когда она не является тавтологией.
(ответ введите прописными буквами)