程序员经验分享-hwhale

重构布尔表达式的工具[关闭]

2024-01-12

我正在寻找一个重构布尔表达式的工具。我有这样的表达

a1 => (b1 <=> c or d) AND 
a2 => (b2 <=> c or d) AND
a2 => (b2 <=> c or d)

该工具应该能够简化表达式，例如提取上例中的子表达式“c or d”。有没有免费的计算机代数系统可以做到这一点？

目前，我考虑手动重构表达式，并用一点 haskell 快速检查脚本证明其等效性。


我不确定工具，但看看布尔代数 http://en.wikipedia.org/wiki/Boolean_algebra_(structure)

您可以绘制所有输入和输出的网格来尝试找到最小布尔表达式

本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)

refactoring

booleanlogic

booleanexpression

重构布尔表达式的工具[关闭] 的相关文章

  • 为什么 eclipse-python 没有神奇的重构？

    Eclipse 能够利用编译的字节码来启用 神奇重构 功能 重命名方法 向上和向下跟踪类层次结构以及通过方法调用进行跟踪 存在哪些技术障碍使得 Python 和 Javascript 等语言更难做到这一点 因为动态绑定 Python 是一种

  • 在 JavaScript 中“或”布尔值列表的最短方法

    我有一个布尔值列表 我要申请 或 对每个 并得到结果 所以 一个新的布尔值 该列表没有固定长度 所以我不能简单地将代码写为value l 0 l length 1 对于长列表来说 这也会很丑陋 我的做法 let index 0 let va

  • C++ 重构 - 将方法移至实现文件

    我有很多头文件 里面有很长的方法实现 有没有一种自动的方法来做到这一点 一个接一个可能会花费很多时间 Thanks 如果您使用的是 Visual Studio 有一个名为视觉辅助 http www wholetomato com 这可以帮助

  • moqing静态方法调用c#库类

    这似乎是一个很简单的问题 但我似乎找不到关键字来影响我的搜索 我试图通过模拟此方法调用中的所有对象来进行单元测试 我可以对我自己的所有创作执行此操作 除了这个 public void MyFunc MyVarClass myVar Imag

  • 如何删除旧版 Web 应用程序中的 CSS 意大利面？

    在开发了几个大型 Web 应用程序并看到没有清晰结构的巨大样式表之后 我真的很想知道人们是否找到了方法来保持大型复杂 Web 应用程序的 CSS 干净 如何从遗留的 混乱的 CSS 转向干净的 漂亮的级联 DRY 样式表 我目前正在开发的应

  • 为什么乘积被称为最小项而和被称为最大项？

    他们这样做有理由吗 我的意思是 在最小项之和中 您寻找输出为 1 的项 我不明白为什么他们称之为 minterms 为什么不使用 maxterms 因为 1 远大于 0 这背后是否有我不知道的原因 或者我应该直接接受而不问为什么 调用这些术

  • 是否有布尔值的后赋值运算符？

    你好 Java 中可能有这样的事情吗 boolean flag true if flag return flag false return true and assign false to flag afterwards 澄清 上面的方法有

  • 是否可以使用或需要 Perl 脚本而不执行其语句？

    我需要对一些旧脚本添加单元测试 这些脚本基本上都是以下形式 usr bin perl Main code foo bar subs sub foo sub bar 如果我尝试在单元测试中 要求 此代码 则代码的主要部分将运行 因为我希望能够

  • 在 Visual Studio 中跨项目添加和删除多个引用

    我有一个包含超过 50 或 60 个 csproj 文件的庞大项目 我需要删除 6 或 7 个现有引用 并在所有这些项目中添加 10 或 15 个新引用 是否有批量添加引用和删除引用的机制 或者 如果有一种方法可以说 在所有项目中用 Y 替

  • 在 Vim 中重构 C/C++（例如像在 Eclipse 中那样提取方法）

    Vim 中是否有任何插件或内置方法可以对 C 或 C 代码进行重构 类似于 Eclipse 中的重构工具 我特别热衷于 Eclipse 中的提取方法重构工具 它将确定新方法的参数 并且通常还会猜测用作返回值的变量 不 虽然 Vim 是一个很

  • 编写自定义重构脚本的最佳 Java 库是什么？ [关闭]

    就目前情况而言 这个问题不太适合我们的问答形式 我们希望答案得到事实 参考资料或专业知识的支持 但这个问题可能会引发辩论 争论 民意调查或扩展讨论 如果您觉得这个问题可以改进并可能重新开放 访问帮助中心 help reopen questi

  • Visual Studio 2017 重构不适用于 F#

    我有项目在F 我正在尝试VisualStudio2017 我尝试重构代码并使用内联 但此菜单项不可用 另外当我点击Rename什么都没发生 为什么不可用 如何强制refactor操作才能工作 let blobToBlobWithInfo b

  • 什么时候应该尝试消除 switch 语句？ [复制]

    这个问题在这里已经有答案了 我在我正在处理的代码库中遇到了一个 switch 语句 我正在尝试找出如何用更好的东西替换它switch 语句被认为是代码味道 http c2 com cgi wiki SwitchStatementsSmell

  • 对可能包含时间或距离的字符串进行排序

    我已经为自定义字符串实现了排序算法 该字符串表示田径赛事的时间或距离数据 下面是格式 10 03 00 十分三秒或 10 英尺三英寸 排序的结果是 对于野外事件 最长的投掷或跳跃将是第一个元素 而对于跑步事件 最快的时间将是第一个元素 下面

  • 将 true 或 false 转换为显式布尔值，即 True 或 False

    我有一个变量 我们就这样称呼它吧toto This toto可以设置为undefined null 字符串或对象 我想检查一下是否toto设置为数据 即设置为字符串或对象 两者都不是undefined nor null 并在另一个变量中设置

  • ASP.NET MVC 中的魔术字符串

    我有桌面软件开发背景 并且正在开始学习 ASP NET MVC 在我的默认 HomeController 中 我有 Index 操作 其代码如下所示 if Request IsAuthenticated return RedirectToA

  • 为什么 Z3 对于很小的搜索空间来说很慢？

    我正在尝试制作一个 Z3 程序 在 Python 中 它生成执行某些任务的布尔电路 例如 添加两个 n 位数字 但性能非常糟糕 以至于对整个解决方案空间进行强力搜索将导致快一点 这是我第一次使用 Z3 所以我可能会做一些影响我性能的事情 但

  • Java中构造函数中的长参数列表[重复]

    这个问题在这里已经有答案了 可能的重复 重构具有太多 6 个以上 参数的方法的最佳方法是什么 https stackoverflow com questions 439574 whats the best way to refactor a

  • 您将如何整理这个控制器逻辑？

    我在控制器中有一些逻辑 如果满足某些条件 它会设置对象的状态 if params concept consulted legal 0 params concept consulted marketing 1 concept attribut

  • 使用 vim 重构目录中的类/方法/字符串的有效方法

    到目前为止 我一直在使用查找和替换操作手动重构代码 s stringiwanttoreplace newstring g in vim 但这是一个缓慢而费力的过程 如果我有的话字符串我想更换在特定目录内的许多文件中 我当前 典型的缓慢而费力

随机推荐

  • 正则表达式匹配字符串之前且最接近的第一次出现

    我正在尝试使用正则表达式来获取最接近名称 Daily 的 ID 号 不过 我遇到了困难 当我尝试正则表达式模式时 我得到以下结果 从第一个 ID 出现到选择 每日 的所有内容 所有 ID 都是单独选择的 我可以指定匹配编号来获取正确的 ID

  • RX - 重新抛出包含方法中的错误

    我需要翻译 RX 流中的错误 IObservable 进入包含流订阅的方法中的异常 因为这个问题https github com aspnet SignalR pull 1331 https github com aspnet Signal

  • Kubernetes 负载均衡

    我正在研究 Kubernetes 不考虑特定的云提供商 目前还不清楚最通用的服务 不是负载均衡器类型的服务 是否充当单个微服务的各个副本之间的内部负载均衡器 So 如何在副本之间实现内部负载均衡而不将微服务暴露给外部流量 您可以使用 pod

  • 在 JMeter 中绘制自定义变量的图表

    我有一个简单的 Java Request 采样器 即 AbstractJavaSamplerClient 如何从此采样器生成自定义变量并绘制它们的图表 最好使用开箱即用的图形侦听器 目前我只能轻松绘制采样时间图 将你的 var 放入 JMe

  • 可以画一条弯弯曲曲的线吗？

    如果我想画一条水平线 我会这样做 div div 如果我想画一条垂直线 我会这样做 line width 1px height 100px background color 000 div div 曲线比较棘手 但可以使用border ra

  • 如何创建持久化的AlarmManager

    编辑 根据 CommonsWare 的回答澄清了问题 我们通过 AlarmManager 安排一个警报每 60 秒触发一次 当我们的应用程序被终止时 我们的警报似乎不再执行 有没有办法让这些警报持续存在 即使应用程序被手动或被系统终止 这对

  • 我可以让 HttpWebRequest 包含 Windows 凭据而不等待 401 质询吗？

    我的应用程序与需要身份验证的内部 Web API 进行通信 当我发送请求时 我收到了预期的 401 质询 握手发生 经过身份验证的请求被重新发送 一切都正常进行 但是 我know需要授权 为什么我必须等待挑战 我可以强制请求发送凭据firs

  • 如何为给定字符串输入集合[重复]

    这个问题在这里已经有答案了 可能的重复 如何获得子集所有可能的组合 https stackoverflow com questions 13765699 how can i obtain all the possible combinati

  • 在 PyQt 中使用 pyttsx

    我正在 pyqt 中为我的聊天机器人制作 Gui 但我在这方面的代码中遇到了一些问题 def init self super Window self init self setGeometry 50 50 500 300 self setW

  • 如何在 Python 3.7 中向 multiprocessing.connection.Client(..) 添加超时？

    我正在运行两个Python 程序 程序 A 通过以下方式连接到程序 B多重处理 module Connection code in program A import multiprocessing import multiprocessin

  • 精度和的含义。双类型范围

    首先 请允许我承认我是一名经验丰富的程序员 拥有超过 10 年的编程经验 然而 我在这里问的问题是自从大约十年前我第一次拿起一本关于 C 的书以来一直困扰着我的问题 下面是一本关于Python的书的摘录 解释了Python的浮动类型 浮点数

  • 是否有一个保留插入顺序的 Set 也实现了 List？

    我正在尝试找到一个实现java util List and java util Set同时在Java中 我希望这个类只允许唯一的元素 如Set 并保留它们的顺序 例如List JDK 6 中存在吗 重要的是拥有List

  • PDO 占位符的有效字符

    在带有 PDO 的 PHP 中 我们限制使用哪些字符 我尝试过查看文档和在线但无济于事 我确实找到了一篇文章 其中用户在名称中使用了连字符 这破坏了查询 我正在编写一个动态生成这些名称的函数 并且由于连字符不是 no 所以我想知道是否有替代

  • NSArray 可变性和 arrayByAddingObject

    我以为我对 Objective C 中的对象和可变性有很好的理解 但我注意到一些奇怪的事情NSArray 如果我有以下不起作用 NSArray myArray NSUserDefaults standardUserDefaults arra

  • 使用 start_time 和 end_time 的ice_cube gem 发生单次事件

    这里一定有一些简单的事情被忽略了 我一直在尝试各种方法来创建基本的IceCube日程 https github com seejohnrun ice cube https github com seejohnrun ice cube 总体目

  • 根据日期范围合并数据框

    我有两个 pandas 数据框 一个 df1 三列 StartDate EndDate and ID 和第二个 df2 和日期 我想合并df1 and df2基于 df2 Date 之间df1 StartDate and df2 EndDa

  • 在其他函数参数中调用函数好吗？

    我想这个 public static string abc return abc 最好这样调用这个函数 string call abc Console writeline call 比这个 console writeline abc 有什么

  • TensorFlow 2.5.0 与 NumPy 1.21+ 不兼容？ (2021-10-05)

    对于所有偶然发现这一点的人 我最近正在做图像分类 将 CNN 拟合到一些标记数据上 我想使用 keras 的模块进行数据增强 但是 我遇到了 NotImplementedError 更具体地说 它逐字地说如下 NotImplementedE

  • 使用存储库和实体框架在领域事件中实现实体持久化？

    我正在深入研究领域事件 并且需要一些关于出于历史原因对实体进行持久更新的建议 我的示例涉及用户实体和登录 public class UserService private UserRepository repository public U

  • 重构布尔表达式的工具[关闭]

    Closed 这个问题正在寻求书籍 工具 软件库等的推荐 不满足堆栈溢出指南 help closed questions 目前不接受答案 我正在寻找一个重构布尔表达式的工具 我有这样的表达 a1 gt b1 lt gt c or d AND

热门标签