Search Results for "truth table constructor"
Sort By:
Showing 24 open source projects for "truth table constructor"
View related business solutions-
Deploy Red Hat Ansible Automation Platform on Microsoft Azure for a strategic automation solution that allows you to orchestrate, govern and operationalize your Azure environment.
-
From improving customer experience through seamless sign-on to making MFA as easy as a click of a button – your login box must find the right balance between user convenience, privacy and security.
-
1
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... -
2
MySQLDump - PHP
PHP version of mysqldump cli that comes with MySQL
This is a php version of mysqldump cli that comes with MySQL, without dependencies, output compression and sane defaults. Out of the box, MySQLDump-PHP supports backing up table structures, the data itself, views, triggers and events. MySQLDump-PHP is the only library that supports output binary blobs as hex. Resolves view dependencies (using Stand-In tables). Output compared against original mysqldump. Linked to travis-ci testing system (testing from php 5.3 to 7.3 & hhvm). Dumps stored... -
3
Kysely
A type-safe typescript SQL query builder
Kysely (pronounce “Key-Seh-Lee”) is a type-safe and autocompletion-friendly typescript SQL query builder. Inspired by knex. Mainly developed for node.js but also runs on deno and in the browser. Kysely makes sure you only refer to tables and columns that are visible to the part of the query you're writing. The result type only has the selected columns with correct types and aliases. As an added bonus you get autocompletion for all that stuff. As shown in the gif above, through the pure magic... -
4
Book-Reviews-In-Mathematica
Partial Differential Equations, Complex Analysis, Mathematica, Farlow
... 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 -
As your users rely more and more on Cloud and Internet-based technologies, reliable internet connectivity becomes more and more important to your business. With Bigleaf’s proven SD-WAN architecture, groundbreaking AI, and DDoS attack mitigation, you can finally deliver the reliable internet connectivity your business needs without the limitations of traditional networking platforms. Bigleaf’s Cloud Access Network and plug-and-play router allow for limitless control to and from anywhere your traffic needs to go. Bigleaf’s self-driving AI automatically identifies and adapts to any changing circuit conditions and traffic needs—addressing issues before they impact your users. Bigleaf puts you in the driver’s seat of every complaint and support call with full-path traffic and network performance data, delivered as actionable insights, reports, and alerts.
-
5
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. -
6
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. -
7
TableExport
The simple, easy-to-implement library to export HTML tables to xlsx
The simple, easy-to-implement library to export HTML tables to xlsx, xls, csv, and txt files. To use this library, include the FileSaver.js library, and TableExport library before the closing body tag of your HTML document. In order to provide Office Open XML SpreadsheetML Format ( .xlsx ) support, you must include the following third-party library in your project before both FileSaver.js and TableExport. To support legacy browsers ( Chrome < 20, Firefox 13, Opera 12.10, IE, 10, Safari 6 )... -
8
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. -
9
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 -
Engage is a pre-built, intelligent contact center platform that transforms customer service.
-
10
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 query-variables([A,B,C...
-
11
-
12
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, so... -
13
-
14
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. -
15
SDT API
semantic decision table API
API for semantic decision table. Note that this package contains structural information of a semantic decision table, and algorithms of managing semantic decision tables. Implementation of rendering is not included. -
16
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 variables... -
17
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.
-
18
Visualize Venn diagrams from set logic statements in up to 4 variables. Also generates a truth table and equivalent truth statement.
-
19
BoolCrunch is an application that accepts a truth table and reduces the boolean function defined by it.
-
20
Boolean Expression Solver is a command-line utility that generates a truth table for a given Boolean expression.
-
21
This program simulates a logic circuit and generates a drawing, a function and a truth table to the user's needs.
-
22
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.
-
23
digitech analyses boolean expressions and prints out the truth table. In further releases it will be possible to convert, simplify boolean expressions.
-
24
- Previous
- You're on page 1
- Next