Данной формуле
(A → B)
эквивалентны следующие формулы...

  • (¬ A → ¬ B)
  • (¬ B → ¬ A)
  • A → (A ∧B)
  • ¬ (B ∧ ¬A)
  • ¬ (¬ B ∧ A)

К сожалению, у нас пока нет статистики ответов на данный вопрос, но мы работаем над этим.