testhelp.link
поиск
о проекте
плагин
войти
Две логические формулы, значения которых совпадают на всех интерпретациях, называются:
выводимыми
общезначимыми
равносильными
теоремами
тождественными
Для просмотра статистики ответов нужно
залогиниться
.