Logic calculator online

Online version of the popular mathematical logic calculator.

This is the online version of the most popular calculator!

The program requires the Internet - all calculations are performed on the server!

The calculator is free, but some features require a password. How to purchase it can be found at https://tablica-istinnosti.ru/ru/.

After acquiring a password, it must be entered in the program "Menu -> Settings -> Password"

Internet is required for the program to work!

The most functional calculator in mathematical logic.

The program can:

- build truth tables;

- find DNF, CNF, SDNF and SKNF functions;

- find Zhegalkin's polynomial (method of indefinite coefficients and Pascal's triangle method);

- build Karnot maps;

- minimize Boolean functions using equivalent (equivalent) transformations (both briefly and in detail), as well as the McCluskey method;

- check belonging to Post classes;

- convert DNF to the AND-NOT basis and CNF to the OR-NOT basis (with the construction of circuits in these bases);

- build relay-contact circuits;

- to build logical circuits (both in the IEC (GOST) standard and in the ANSI standard).

Boolean functions can be represented with different symbols.

The unary operation "negation" can be represented by either a single character or an overline.

The maximum number of distinct variables in a function is 6.

The maximum number of nested negations in a function is 5.

The maximum number of characters in a function is 64.

When working with a vector of values, it is possible to use only Karnaugh maps, SKNF and SDNF, Zhegalkin polynomial, McClusky method and Post classes.

The length of the value vector must be 4, 8, 16, 32, or 64 characters.

It is allowed to use 0 and 1 in the function, but in this case only the simplification of the function will be available.

When constructing a logical circuit, it is unacceptable to use implication.

No ads.

The operation of the program is intuitive and does not cause any difficulties. All results are shown in detail, with comments.