[go: up one dir, main page]

Showing 20 open source projects for "truth table"

View related business solutions
  • Gen AI apps are built with MongoDB Atlas Icon
    Gen AI apps are built with MongoDB Atlas

    Build gen AI apps with an all-in-one modern database: MongoDB Atlas

    MongoDB Atlas provides built-in vector search and a flexible document model so developers can build, scale, and run gen AI apps without stitching together multiple databases. From LLM integration to semantic search, Atlas simplifies your AI architecture—and it’s free to get started.
    Start Free
  • La version gratuite d'Auth0 s'enrichit ! Icon
    La version gratuite d'Auth0 s'enrichit !

    Gratuit pour 25 000 utilisateurs avec intégration Okta illimitée : concentrez-vous sur le développement de vos applications.

    Vous l'avez demandé, nous l'avons fait ! Les versions gratuite et payante d'Auth0 incluent des options qui vous permettent de développer, déployer et faire évoluer vos applications en toute sécurité. Utilisez Auth0 dès maintenant pour découvrir tous ses avantages.
    Essayez Auth0 gratuitement
  • 1
    Focalboard

    Focalboard

    Focalboard is an open source, self-hosted alternative to Trello, etc.

    Open source project management for technical teams. Keep everything and everyone on track, all in the Mattermost platform. Centralize, plan, and track all your work in one place. Mattermost Boards helps your organization maintain a single source of truth, so your teams stay aligned to complete tasks, reach milestones, and achieve their goals. Work in the way that suits you best. Manage all your tasks on a Kanban, table, gallery, and calendar view. Focus on the highest priority items with board...
    Downloads: 42 This Week
    Last Update:
    See Project
  • 2

    Book-Reviews-In-Mathematica

    Partial Differential Equations, Complex Analysis, Mathematica, Farlow

    ... "Openstax Chemistry", ch5,12-14 "College Algebra and Trigonometry", 2nd, Kaufman * 2nd order cannonicalization SOLVER, cannonical form automatically * nth order PDE to System of n first order PDE matrices generator with ODE Decouple Solving (pde not yet) * radial probability plot for Hydrogen, pde shrodinger's * Planck blackbody, Rutherford essay * fermi free electron essay * Table of Nucleon positions for all Isotope w/Manipulate * p-p separation nucleus plot using the above
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    JQM Java Quine McCluskey

    JQM Java Quine McCluskey

    JQM - Java Quine McCluskey for minimization of Boolean functions.

    ... and editing the truth table that can be saved and loaded. The results can be exported in HTML format. It generates the Karnaugh Map for educational purposes and the actual truth table from the obtained expressions even when multiple solutions for each function are found. This implementation supports PLC programming, so results can be presented in many forms including Structured Text (ST) and Ladder Diagram (LD) along with conventional Boolean expression.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 4
    Approximate Solution Finder

    Approximate Solution Finder

    An open-source approximate logic design tool

    We provide an open-source library of approximate multipliers described using Verilog HDL. The article related to the library is currently under review.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Powerful Website Security | Continuous Web Threat Platform Icon
    Powerful Website Security | Continuous Web Threat Platform

    Continuously detect, prioritize, and validate web threats to quickly mitigate security, privacy, and compliance risks.

    Reflectiz is a comprehensive web exposure management platform that helps organizations proactively identify, monitor, and mitigate security, privacy, and compliance risks across their online environments. Designed to address the growing complexity of modern websites, Reflectiz provides full visibility and control over first, third, and even fourth-party components, such as scripts, trackers, and open-source libraries that often evade traditional security tools.
    Learn More
  • 5
    Logicheck

    Logicheck

    An interactive tool to test logical structures and expressions

    This program is intended to be useful for testing Boolean logic or propositional logic. It sets out logical expressions with symbols such as "AND" and "OR" in a graphical user interface. A truth table can then be generated for any such set of expressions. It can also be used to test the validity of deductive arguments - the program will advise whether an argument is valid and if not, list the counter examples to the argument.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    UCD Wombat Truth Table
    WOMBAT: TRUTH TABLES -------------------- * Enter only AND OR NAND NOT NOR operators to the Expression. * Variables in your expression query should always begin with capital letters. * You can enter expression with any number of variables. To get the output type table([variables],expression) Example query-table([A,B,C],and (A,B,C)). To get the number of variables in the expression type variables([variables in the given expression],X) Example...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7

    NNLogic

    A lightweight logic expression parser

    NNLogic is a cross-platform tool that parses and creates a truth table for any logic expression. All you need is Python 3 that you can freely download at http://python.org
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9

    Logic Calculator

    A Calculator to perform logical operations

    The Logic Calculator is an application useful to perform logical operations. It has three modes: (1) Evaluation of logic formulae: In this mode we have the basic boolean operations (negation, conjunction, disjunction, conditional and biconditional) so the user can insert the logic formula and the Logic Calculator displays the truth table along with the models of the formula. (2) Logical entailment: In this mode the user can insert a number of premises followed by a number of conclusions...
    Downloads: 4 This Week
    Last Update:
    See Project
  • Network Management Software and Tools for Businesses and Organizations | Auvik Networks Icon
    Network Management Software and Tools for Businesses and Organizations | Auvik Networks

    Mapping, inventory, config backup, and more.

    Reduce IT headaches and save time with a proven solution for automated network discovery, documentation, and performance monitoring. Choose Auvik because you'll see value in minutes, and stay with us to improve your IT for years to come.
    Learn More
  • 10
    Truth table application of Group Compilers
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    LogicCalculus

    LogicCalculus

    A logic IDE for the sentential logic and the predicate logic.

    LogicCalculus is a logic IDE for the sentential logic and the predicate logic. Currently it can evaluate expressions and fill a truth table.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    QMC Logic Minimizer

    QMC Logic Minimizer

    combinational logic functions minimization

    QMC Logic Minimizer is a versatile application for fast simplifying truth and reduce lines tables. This program offers a comfortable user interface for generating and minimizing of the combinational logic functions. It is unique for its possibility of minimizing several functions at the same time. This program is intended for practical digital devices constructors as well as formal scholars and academics. Features: - You can minimize up to 16 input variables and up to 16 output...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 13
    TRUTH TABLE SOLVER
    Truth Table Solver is a program that solves the truth table and output all the possible minimized boolean expressions.It uses Quine-McCluskey algorithm (Tabulation method) for boolean minimization.It has an easy to use GUI and a command line mode.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    Venn Visualizer
    Visualize Venn diagrams from set logic statements in up to 4 variables. Also generates a truth table and equivalent truth statement.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 15
    BoolCrunch is an application that accepts a truth table and reduces the boolean function defined by it.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    Boolean Expression Solver is a command-line utility that generates a truth table for a given Boolean expression.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    This program simulates a logic circuit and generates a drawing, a function and a truth table to the user's needs.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    biml is a Boolean calculator Implemented in Many Languages. The goal is to have a simple calculator that takes a boolean expression and returns a truth table in a large number of languages, written by many people.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    digitech analyses boolean expressions and prints out the truth table. In further releases it will be possible to convert, simplify boolean expressions.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next