Skip to content

Commit

Permalink
Merge pull request #1 from Little-Silver/newAlternativSymbols
Browse files Browse the repository at this point in the history
New alternativ Symbols
  • Loading branch information
MrF3lix authored Nov 15, 2020
2 parents 323a138 + aecad7c commit 350c67a
Show file tree
Hide file tree
Showing 2 changed files with 10 additions and 1 deletion.
2 changes: 2 additions & 0 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -21,3 +21,5 @@
npm-debug.log*
yarn-debug.log*
yarn-error.log*

.idea
9 changes: 8 additions & 1 deletion src/lib/logic-eval.js
Original file line number Diff line number Diff line change
Expand Up @@ -3,10 +3,17 @@ import { getBinaryArrayFromDecimal } from './binary';

const ShuntingYard = require('./shunting-yard');

/**
* The equivalence-operator must be added before the implication-operator,
* because some of the alternativ operators used for implication are also used for equivalence.
* @type {{"→": [string, string, string], "↔": [string, string, string], "∧": [string, string], "∨": [string, string], "¬": [string, string]}}
*/
const mappedOperators = {
'¬': ['NOT', '!'],
'∧': ['AND', '&'],
'∨': ['OR', '#']
'∨': ['OR', '#'],
'↔': ['EQ', '<->','<=>'],
'→': ['IMPL', '->','=>']
};

const AND = (param1, param2) => {
Expand Down

1 comment on commit 350c67a

@vercel
Copy link

@vercel vercel bot commented on 350c67a Nov 15, 2020

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Please sign in to comment.