О Logic Calculator

Что это?

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

Возможности

• Декодировать и визуализировать выражения пропозициональной логики
• Поддержка отрицания, импликации, конъюнкции, дизъюнкции и биусловий
• Проверить, являются ли выражения выполнимыми и корректными
• Создать исчерпывающие таблицы истинности
• Генерировать визуальные деревья выражений
• Предоставить альтернативные эквивалентные формулировки

Создатель

Этот калькулятор был создан Jonathan Søholm-Boesen в качестве образовательного инструмента для студентов, изучающих логику и информатику.

Поддерживается

Logic Calculator в настоящее время поддерживается и разрабатывается Infobits ApS, компанией по разработке программного обеспечения, которая создает продукты, защищающие конфиденциальность.

Образовательная цель

Этот инструмент предназначен для использования в качестве образовательного ресурса, помогающего студентам понять пропозициональную логику. Хотя изначально он был создан для курса Вычислимость и Логика в Орхусском университете, он официально не связан с университетом.