This page is not an official page of the app or its developer, but an independent editorial publication created for informational and commentary purposes. Unless expressly stated otherwise, neither the app nor its developer is affiliated with, endorsed by, sponsored by, authorized by, or otherwise officially connected with MWM, Apple, Google Play, the app publisher, or the app's developer, and nothing on this page implies that the app was developed using MWM's services. Any trademarks, logos, screenshots, and other content remain the property of their respective owners.

eXpimal - Logic calculator

Name: eXpimal - Logic calculator
Availability: InStock
Rating: 3.94 (1 reviews)

Master Boolean algebra and digital logic with step-by-step solutions. From Karnaugh maps to McCluskey minimization, get detailed explanations and circuit diagrams for your assignments—all completely ad-free.

Key Figures

Downloads

16K+

User Rating

3.9/5

Total Ratings

Publisher

Maksim Dmitriev

Master Complex Digital Logic

Accelerate your STEM studies with a powerful calculator that doesn't just give answers—it explains the entire proof process with step-by-step transparency.

Transparent Step-by-Step Proofs

Get detailed comments on every minimization and conversion, perfect for verifying your homework and mastering exam-level discrete math.

Visual Circuit Design

Plot logical schemes in ANSI or IEC standards and generate ladder diagrams for industrial automation and PLC programming assignments.

The following screenshots and description are sourced directly from the app's official store listing and are the property of the app developer.

App Store

Screenshots

eXpimal - Logic calculator - Interface of the eXpimal logic calculator app showing the custom boolean formula keyboard — Interface of the eXpimal logic calculator app showing the custom boolean formula keyboard

eXpimal - Logic calculator - The input screen of the eXpimal app showing a specialized keyboard for entering Boolean logic formulas and technical symbols — The input screen of the eXpimal app showing a specialized keyboard for entering Boolean logic formulas and technical symbols

eXpimal - Logic calculator - eXpimal app interface showing a colorful keyboard for inputting boolean logic formulas — eXpimal app interface showing a colorful keyboard for inputting boolean logic formulas

eXpimal - Logic calculator - Keyboard interface of the eXpimal logic calculator showing Boolean operators and variable buttons — Keyboard interface of the eXpimal logic calculator showing Boolean operators and variable buttons

eXpimal - Logic calculator - Navigation menu of the eXpimal logic calculator app listing features like truth tables and Karnaugh maps — Navigation menu of the eXpimal logic calculator app listing features like truth tables and Karnaugh maps

eXpimal - Logic calculator - A truth table generated for a boolean logic expression within the eXpimal app — A truth table generated for a boolean logic expression within the eXpimal app

eXpimal - Logic calculator - Step by step Boolean function simplification showing laws of double negation and De Morgan in the eXpimal app — Step by step Boolean function simplification showing laws of double negation and De Morgan in the eXpimal app

eXpimal - Logic calculator - Logic calculator interface showing a truth table and Karnaugh map minimization process — Logic calculator interface showing a truth table and Karnaugh map minimization process

eXpimal - Logic calculator - Logical schema diagram of a Boolean expression with logic gates — Logical schema diagram of a Boolean expression with logic gates

eXpimal - Logic calculator - Settings menu in the eXpimal app for choosing logical operator symbols and circuit standards — Settings menu in the eXpimal app for choosing logical operator symbols and circuit standards

Description

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); - minimize partially defined functions; - 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.