/*if(!Object.values){ Object.values=obj=>Object.keys(obj).map(key=>obj[key]); }*/ if(!Object.values){ Object.values=function(obj){ return Object.keys(obj).map(function(key){ return obj[key] }); } } function randVal (min,max){ return Math.floor(Math.random()*(max-min+1)+min); } String.prototype.replaceAll = function(target, replacement) { return this.split(target).join(replacement); }; // symbols map var symbols = { "~":"!", "!":"!", "not":"!", "^":"^", "xor":"^", "&":"&", "and":"&", "|":"|", "or":"|", "(":"(", ")":")" } function evaluateExp(){ var result=document.getElementById("result"); var el=document.getElementById("logicExp"); result.innerHTML="Evaluation:

"; var exp = el.value.toLowerCase(); for (var key in symbols) { // replace to symbols exp = exp.replaceAll(key,symbols[key]); } var tokens = tokenize(exp); printTable(tokens, exp); } function tokenize(exp){ exp = exp.toLowerCase(); for(var key in symbols){ exp=exp.replaceAll(key," "+key+" "); } var tokens = exp.split(" "); tokens = tokens.filter(function(el){ // filter non single letters from tokens return el.match(/^[a-zA-Z]$/); }); // remove duplicates tokens = new Set(tokens); return Array.from(tokens); } function printTable(tokens, exp){ var result=document.getElementById("result"); result.innerHTML += "

"+printRow(tokens)+""+exp+""+"

"; // result.innerHTML += tokens.join(" ".repeat(4)) + " ".repeat(tokens.length*2) + exp + "
"; tokens.reverse(); for(var i=0;i<(Math.pow(2,tokens.length));i++){ var row = {}; for(var j=(tokens.length-1);j>=0;j--){ row[tokens[j]]=(i & Math.pow(2,j))? 1:0; //console.log(JSON.stringify(row)); } result.innerHTML +="

"+printRow(Object.values(row)) +""+ evaluateRow(row, exp)+""+"

"; //result.innerHTML+=Object.values(row).join(" ".repeat(4))+" ".repeat(exp.length)+evaluateRow(row, exp)+" ".repeat(exp.length)+"
"; } } function printRow(row){ var formattedRow = ""; for(var i=0;i"; } return formattedRow; } function evaluateRow(row, exp){ // replace booleans with values (0,1) for (var key in row) { exp = exp.replaceAll(key,row[key]); } try{ return eval(exp)? 1:0; }catch(err){ //console.log(err); return "eval fail"; } } function randExp(){ var symbolsArr=[" and "," or "," xor "]; var not="not "; if(Math.random()<0.5){ symbolsArr=[" & "," | "," ^ "]; not="!"; } var el=document.getElementById("logicExp"); var args = randVal(2, 5); var exp = ""; while(args>0){ args--; var chr = String.fromCharCode(97 + randVal(0,25)); if(Math.random()<0.3){ exp+=not; } exp += chr; if(args){ exp += symbolsArr[randVal(0,symbolsArr.length-1)]; } } el.value=exp; evaluateExp(); } window.onload=evaluateExp;

Boolean Expression Evaluator