Logic Calculator
Conté anuncis
50 k+
Baixades
Per a tots els públics
info
Sobre l'aplicació
Amb aquesta aplicació, podeu:
- comproveu si una seqüència de caràcters és una fórmula ben formada (WFF);
- obtenir la notació polonesa normal (NPN), és a dir, una notació de prefix de fórmules lògiques proposicionals;
- obtenir la notació polonesa inversa (RPN), és a dir, una notació postfix de fórmules lògiques proposicionals;
- obtenir les subformules de les fórmules lògiques proposicionals;
- obtenir fórmules de forma normal disjuntiva (DNF) i de forma normal conjuntiva (CNF) de fórmules de lògica proposicional;
- generar taules de veritat per a fórmules de lògica proposicional;
- assignar valors de veritat als símbols propositius i obtenir la interpretació de fórmules lògiques proposicionals.
A més, podeu triar diferents ordres de precedència per als connectius lògics.
- comproveu si una seqüència de caràcters és una fórmula ben formada (WFF);
- obtenir la notació polonesa normal (NPN), és a dir, una notació de prefix de fórmules lògiques proposicionals;
- obtenir la notació polonesa inversa (RPN), és a dir, una notació postfix de fórmules lògiques proposicionals;
- obtenir les subformules de les fórmules lògiques proposicionals;
- obtenir fórmules de forma normal disjuntiva (DNF) i de forma normal conjuntiva (CNF) de fórmules de lògica proposicional;
- generar taules de veritat per a fórmules de lògica proposicional;
- assignar valors de veritat als símbols propositius i obtenir la interpretació de fórmules lògiques proposicionals.
A més, podeu triar diferents ordres de precedència per als connectius lògics.
Data d'actualització:
La seguretat comença per entendre com els desenvolupadors recullen i comparteixen les teves dades. Les pràctiques de privadesa i seguretat de les dades poden variar segons l'ús que es fa de l'aplicació, la regió i l'edat. El desenvolupador ha proporcionat aquesta informació i és possible que l'actualitzi al llarg del temps.
No es comparteixen dades amb tercers
Més informació sobre com els desenvolupadors declaren la compartició de dades
No es recullen dades
Més informació sobre com els desenvolupadors declaren la recollida de dades
Assistència de l'aplicació
Sobre el desenvolupador
Aulos Rafael Dutra de Sousa
aulosrafael@gmail.com
Brazil
undefined
