LogicLearner

LogicLearner is a comprehensive mobile application designed to aid students and enthusiasts in mastering both propositional and predicate logic. With a user-friendly interface and a suite of powerful tools, LogicLearner simplifies the complexities of logical operations, providing an engaging learning experience.

⭐ Available on the Apple App Store

LogicLearner has been proudly rated 5 stars on the iOS App Store, reflecting our commitment to delivering high-quality educational tools.

Download LogicLearner from the App Store

Logic Learner is available on iOS, iPadOS and visionOS.

Features

🧩 Propositional Logic

• Generate Truth Tables: Create detailed truth tables for complex logical expressions.
• Check Equivalence: Verify the equivalence of different logical statements.
• Equivalence Assistant: Apply logical laws seamlessly to simplify and solve logical problems.

🔍 Predicate Logic

• Formula Entry: Easily enter and manipulate predicate logic formulas using shorthand commands.
• Apply Logical Laws: Similar to propositional logic, apply a variety of logical laws to predicate logic expressions.
• Syntax Validation: Live syntax checking ensures your formulas adhere to the correct logical structure.

🔤 Regex Tools

• String Generator: Generate unique strings based on your custom regex patterns, with options to define minimum and maximum lengths.
• String Checker: Validate a list of strings against your regex, displaying results in an organised table with clear indicators.

📰 XKCD Comics

• Comic of the Day: Enjoy the latest XKCD comic directly within the app.
• Random Math/CS Comics: Explore a curated selection of XKCD comics related to mathematics and computer science.

How to Use

1. Download the App:

   • Visit the App Store and download LogicLearner.

2. Navigate Through Categories:

   • The Home Screen categorises features into Logical Operations, Predicate Logic, Regex Tools and XKCD Comics for easy access.

3. Utilise Tools:

   • Propositional Logic: Generate truth tables, check equivalences and apply logical laws.
   • Predicate Logic: Enter complex formulas, apply logical laws and ensure syntax correctness with live validation.
   • Regex Tools: Generate and check strings using custom regex patterns with intuitive input methods.
   • XKCD Comics: Stay entertained with daily and random comics.

4. Apply Logical Laws:

   • Use the Apply Logical Laws feature to simplify and solve logical expressions efficiently.

Contributing

We welcome contributions from the community! If you have ideas for new features, improvements, or bug fixes, please open an issue or submit a pull request.

1. Fork the Repository
2. Create a Feature Branch

   git checkout -b feature/YourFeature

3. Commit Your Changes

   git commit -m "Add your feature"

4. Push to the Branch

   git push origin feature/YourFeature

5. Open a Pull Request

Support

If you encounter any issues or have questions, feel free to reach out through the Issues section of our GitHub repository.

License

This project is licensed under the MIT License.

---

© 2024 LogicLearner. All rights reserved.