Какая из приведенных формул является одновременно выполнимой и опровержимой

• (р → q) ↔ (¬q → ¬p)
• (р → ¬q) ↔ pq
• (р → q) ↔ ¬p
  

Другие предметы Колледж Логика высказываний дискретная математика колледж формулы выполнимость опровержимость логика логические выражения учебные материалы задачи теоремы Новый