Home
App Analytics
Propositional Logic Resolver
Propositional Logic Resolver Vs. eXpimal - Logic calculator

Propositional Logic Resolver vs eXpimal - Logic calculator Usage & Stats

+ Step by step answers Not only the correct answers but the app provide a series of logical equivalences and inference rules to get the answers. + Resolve the most common problems Simplify compound propositions, Propositional equivalences, Validate an argument. + No internet connection required. Resolve your problems anywhere without internet. + Important logical equivalences and inference rules. Check logical equivalences and inference rules again if you forget them. + Dark mode Save your battery and your eyes.

Apple App Store
Paid
Education

Store Rank

- -

eXpimal - Logic calculator

The most functional math logic calculator. This application has the functions as follows: - creating truth tables; - finding DNF, CNF, PDNF and PCNF; - finding Zhegalkin polynomial (Undetermined coefficients method and Pascal's triangle method); - making a Karnaugh map; - minimizing Boolean function with equivalence conversion (both briefly and in details); - belonging to the Post classes; - plotting logical schemes (both IEC and ANSI schemes); - plotting ladder diagram; - minimizing functions using McCluskey method. Boolean functions may be displayed as multiple characters. Unary operation "negation" may be displayed either as a single character or in the form of an overline. Maximum number of variables in the function is limited by 6. Maximum number of function-embedded negations is limited by 5. Maximum number of characters in the function is limited by 64. Karnaugh maps, PCNF and PDNF functions, Zhegalkin polynomial and the McCluskey method only may be used for operating a value vector. The modulus of vector shall contain 4, 8, 16, 32, or 64 characters. The values of 0 and 1 may be used in this function but it will be subject to simplification only. The implication is inadmissible for plotting a logical scheme. No ads pop up. This application demonstrates intuitively understandable and trouble-free operations. All results are shown in details along with comments.