如何制作⇒和⇔（逻辑连接词）？

Question

我正在尝试评估此字符串：

var proposition = "(true&&false)⇒!true";
console.log(eval(proposition));

但这不起作用，因为这个“⇒”字符，这是一个无法识别的逻辑连接词。

我正在阅读Boolean Implication的帖子，但我仍然不能将其应用到我需要的地方。

我有两个函数返回两个布尔值之间的含义和双条件布尔结果：

function Implication(v1,v2){
    return (!v1)||v2;               //implication formula
}

function Biconditional(v1,v2){
    if(v1==v2) return true;         //biconditional formula
    else return false;
}

我可以将这些函数应用于这样的特定逻辑命题：

var proposition = "(true&&false)⇒!true";
var pars = proposition.split("⇒")
var result = Implication(eval(pars[0]),eval(pars[1]))
console.log(result)

这样可行，但如果我有类似的东西：“（（true⇔true）＆amp;＆amp; false）⇒false⇔true|| false”或任何其他信念？