TOBARA (The Only Boolean Algebra Reduction App) is a toolkit of Boolean function analysis whose main task is to reduce Boolean functions as much as possible. Our objetive is to determine information about the function like variables, terms and then reduce the function.
AI-powered web platform for learning discrete mathematics through interactive tools and natural language chatbot using OpenAI Agents SDK & MCP protocol