Чтобы определить, какая из приведенных формул является одновременно выполнимой и опровержимой, нам нужно проанализировать каждую из них. Формула считается выполнимой, если существует хотя бы одно распределение значений переменных, при котором она истинна. Формула считается опровержимой, если существует хотя бы одно распределение значений переменных, при котором она ложна.

1. (р → q) ↔ (¬q → ¬p)
   • Формула выполнима, если (p → q) и (¬q → ¬p) оба истинны или оба ложны.
   • Формула опровержима, если одно из выражений истинно, а другое ложно.
   • Проверка: если p = true и q = true, то (p → q) = true и (¬q → ¬p) = true. Формула истинна.
   • Если p = true и q = false, то (p → q) = false и (¬q → ¬p) = true. Формула ложна.
   • Формула является одновременно выполнимой и опровержимой.
2. (р → ¬q) ↔ pq
   • Формула выполнима, если (p → ¬q) и pq оба истинны или оба ложны.
   • Формула опровержима, если одно из выражений истинно, а другое ложно.
   • Проверка: если p = true и q = false, то (p → ¬q) = true и pq = false. Формула ложна.
   • Если p = false и q = false, то (p → ¬q) = true и pq = false. Формула ложна.
   • Формула не является одновременно выполнимой и опровержимой.
3. (р → q) ↔ ¬p
   • Формула выполнима, если (p → q) и ¬p оба истинны или оба ложны.
   • Формула опровержима, если одно из выражений истинно, а другое ложно.
   • Проверка: если p = false, то (p → q) = true и ¬p = true. Формула истинна.
   • Если p = true и q = false, то (p → q) = false и ¬p = false. Формула истинна.
   • Формула является одновременно выполнимой и опровержимой.

Таким образом, формулы (р → q) ↔ (¬q → ¬p) и (р → q) ↔ ¬p являются одновременно выполнимыми и опровержимыми.