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