Це програма для Linux під назвою Logic Calculator, останню версію якої можна завантажити як LogicCalculator.jar. Його можна запустити в режимі онлайн за допомогою безкоштовного хостинг-провайдера OnWorks для робочих станцій.
Завантажте та запустіть онлайн цю програму під назвою Logic Calculator з OnWorks безкоштовно.
Дотримуйтесь цих інструкцій, щоб запустити цю програму:
- 1. Завантажив цю програму на свій ПК.
- 2. Введіть у наш файловий менеджер https://www.onworks.net/myfiles.php?username=XXXXX із потрібним ім'ям користувача.
- 3. Завантажте цю програму в такий файловий менеджер.
- 4. Запустіть онлайн-емулятор OnWorks Linux або Windows або онлайн-емулятор MACOS з цього веб-сайту.
- 5. З ОС OnWorks Linux, яку ви щойно запустили, перейдіть до нашого файлового менеджера https://www.onworks.net/myfiles.php?username=XXXXX з потрібним іменем користувача.
- 6. Завантажте програму, встановіть її та запустіть.
ЕКРАНИ
Ad
Логічний калькулятор
ОПИС
Логічний калькулятор — це програма, корисна для виконання логічних операцій. У ньому три
режими:
(1) Оцінка логічних формул: у цьому режимі ми маємо основні логічні операції (заперечення, кон’юнкція, диз’юнкція, умовні та двоумовні), щоб користувач міг вставити
логічна формула, а логічний калькулятор відображає таблицю істинності разом із
моделі формули.
(2) Логічне залучення: у цьому режимі користувач може вставити декілька
передумови, а потім ряд висновків, тому відображається логічний калькулятор
таблиця істинності кожної посилки/висновку та результат чи ні
ці посилки логічно тягнуть за собою наведені висновки.
(3) Перетворення формули в диз'юнктивну нормальну форму (DNF) і кон'юнктивну нормальну форму (CNF): у цьому режимі користувач вставляє логічну формулу та логіку
Калькулятор виводить своє представлення як у DNF, так і в CNF.
Функції
- Готовий до використання
- Багатоплатформенний
- Введення/виведення на основі тексту
Аудиторія
Наука/Дослідження, Освіта
Користувацький інтерфейс
Java Swing
Мова програмування
Java
Категорії
Це додаток, який також можна отримати з https://sourceforge.net/projects/logiccalculator/. Його розміщено в OnWorks, щоб його можна було запустити в Інтернеті найпростішим способом з однієї з наших безкоштовних операційних систем.