我正在写一个从公式中删除重言式的函数,问题是它只对连续的公式有效,基本的想法是,如果在一个子句中,发现了一个文字和它的否定,这意味着这个子句将是真的,不管最后分配给那个命题variable.My的值是什么,创建一个函数,这个函数将删除重言式,但是对于一个子句,并将它映射到fomula.Of课程,我必须在一开始就删除重复的内容。因为我只检查连续的文字,并且我不知道如何更改它,因为我是第一次接触haskell(我知道这不是借口),所以当我尝试给它一个公式(例如(A v B v -A) ^ (B V C V A))时,它只返回示
如何使用角度数组在两个数组之间添加和删除元素?我有$scope.results和$scope.list,结果数组是调用WebAPI的结果,我允许用户选择他们想要添加到第二个数组中的元素。如何从第一个添加到第二个,同时从第一个中删除?//CODE TO REMOVE item from $scope.results here.