# Logic Calculator

> Calculate and interpret the result of propositional logic formulas.

Canonical page: [https://chrome-stats.com/d/com.ccomp.logic.calculator](https://chrome-stats.com/d/com.ccomp.logic.calculator)

## Overview

- **ID:** `com.ccomp.logic.calculator`
- **Platform:** Android
- **Type:** Android app
- **Status:** Available
- **Publisher:** Aulos Rafael
- **Category:** TOOLS
- **Downloads:** 63,044
- **Rating:** 4.20 / 5 (105 ratings)
- **Version:** 1.1.4
- **Last updated:** 2023-09-06
- **First published:** 2020-12-28
- **Publisher country:** BR
- **Size:** 16 MB
- **Data as of:** 2026-09-10
- **Store listing:** [Google Play Store](https://play.google.com/store/apps/details?id=com.ccomp.logic.calculator)
- **Website:** [https://github.com/AulosRafael/logic-calculator](https://github.com/AulosRafael/logic-calculator)
- **Privacy policy:** [https://www.app-privacy-policy.com/live.php?token=zibK4Y4xJLEnHdNz976zHjbEmOglHLj0](https://www.app-privacy-policy.com/live.php?token=zibK4Y4xJLEnHdNz976zHjbEmOglHLj0)

## Description

Logic Calculator is a powerful Chrome extension designed for anyone dealing with propositional logic. It allows you to verify if a sequence of characters is a well-formed formula (WFF), convert formulas into Normal Polish Notation (NPN) and Reverse Polish Notation (RPN), and extract subformulas. Additionally, it generates disjunctive normal form (DNF) and conjunctive normal form (CNF) representations, making logical analysis straightforward.

The extension supports the creation of truth tables and lets users assign truth values to propositional symbols to interpret formulas easily. Users can also customize the precedence orders of logical connectives to suit different logical frameworks or preferences. This tool is ideal for students, educators, and professionals working with logical expressions and formal reasoning tasks.

## Rankings

- #271,291 — Overall

## Permissions and access

### Permissions

- `android.permission.ACCESS_NETWORK_STATE`
- `android.permission.INTERNET`
- `android.permission.WAKE_LOCK`
- `com.google.android.c2dm.permission.RECEIVE`
- `com.google.android.finsky.permission.BIND_GET_INSTALL_REFERRER_SERVICE`
- `com.google.android.gms.permission.AD_ID`

## Similar extensions and apps

- [The Logic Calculator](https://chrome-stats.com/d/com.ioannisvotsis.thelogiccalculator) — 31,646 users, 2.50 / 5
- [eXpimal - Logic calculator](https://chrome-stats.com/d/ru.tablicaistinnosti.maxim.eXpimalpro) — 1,712 users
- [Logic calculator : lite](https://chrome-stats.com/d/ru.tablicaistinnosti.maxim.eXpimal) — 55,978 users
- [Calculadora Lógica](https://chrome-stats.com/d/com.danielssilva.calculadorabuleana) — 72 users
- [Equivalences Calculator](https://chrome-stats.com/d/com.targapps.equivalences_calculator) — 10 users
- [Boolean Calculator-Logic](https://chrome-stats.com/d/com.logic_calculator.ahmed.logicdesign) — 81,049 users
- [Truth Table Calculator](https://chrome-stats.com/d/com.jovannyrch.tablasdeverdad) — 330,843 users, 4.38 / 5
- [BoolForge Games](https://chrome-stats.com/d/com.jxkmptwqzbnlrhfvyuea.stmqwprx) — 360 users
- [Truth Tables](https://chrome-stats.com/d/com.riven7.logic_proofstruetables) — 347 users
- [Logic Drill - Truth Tables](https://chrome-stats.com/d/com.mikotogateway.logic) — 1 users
- [Logic](https://chrome-stats.com/d/com.sqstech.logic) — 5,320 users
- [Boolean Algebra Calculator](https://chrome-stats.com/d/nrapps.android.digitalcalculator) — 171,761 users, 3.37 / 5

---

Source: [Chrome-Stats](https://chrome-stats.com/d/com.ccomp.logic.calculator)