матлогика

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

Это запрос на создание калькулятора, оставленный пользователем

По этому запросу еще не было создано ни одного калькулятора. Если Вы заинтересованы в создании такого калькулятора, оставьте ниже Ваш комментарий.
Ссылка скопирована в буфер обмена
PLANETCALC, матлогика

Комментарии