问题标签 [logic]

我很确定我记得在我的一门大学课程中做过这样的事情，并且有某种公式，但除此之外，我的想法让我失望。

给定语句： ( a OR b OR d ) AND ( a OR c )

我很确定这可以简化为：（ a OR b OR d OR c ）

但我不记得我将如何证明这一点。

也许是一系列逻辑表？

我想实现一个尽可能高效的逻辑操作。我需要这个真值表：

根据维基百科，这被称为“逻辑含义”

我一直试图弄清楚如何在不使用条件的情况下使用 C 中的按位运算来实现这一点。也许有人对此有一些想法。

谢谢

在游戏中，每帧都应该更新许多实体。我玩弄不同的设计模式来实现这一点。到目前为止，我有一个单例管理器类，每个 Logic 实例都添加到其中。但我正在考虑以下内容，即 Logic 类本身中的静态列表。这很好，因为它会从项目中删除一个类。本例中的“Engine”是调用 update_all 的主类。

• 这种模式有名字吗？
• 您认为这比单例管理器类更好吗？
• 还有其他意见或警告吗？

在 javascript 中有几种方法可以做到这一点。

最重要、最易读和最灵活的可能是：

仅* 可用于分配且可读性较差的其他内容是：

不过，我的主要问题是关于我能想到的最后两种方法：

这两种表达方式有区别吗？除了两者都缺乏的可读性。

*尽管您可以将 foo 分配为一个函数，然后在 if 语句之后执行它。

我正在制作一个 noughts and crosses 游戏（tic tac toe），在我的逻辑类中，我用 2d 数组表示游戏的状态，但这是问题所在，我像这样检查数组

依此类推，对于所有 8 个条件，但是，数组在开始时使用 0 的所有值进行初始化，因此它总是找到三个匹配的值，我怎样才能解决这个问题而不必更改我的整个代码

谢谢

start_date我有一个事件表，它用和end_date字段指定日期范围。我有另一个日期范围，在代码中指定，将当前周定义为“week_start”和“week_end”。

我想查询本周的所有事件。这些案例似乎是：

• 活动在一周内开始和结束
• 活动在一周前开始，但在一周内结束
• 活动在一周内开始，但在一周后结束
• 活动在一周前开始，也在一周后结束
• 既不在一周内也不与一周重叠的事件将被忽略

我正在尝试提出一个可以处理所有这些情况的查询。到目前为止，我只能获得处理周重叠或完全内部事件的案例；本质上，记录太多，或者根本没有。

我正在尝试用 MD5 在 C 中做一些事情（后者试图用 SHA1 算法做一些事情）。我的主要问题是我从来没有真正在 C 中做过任何复杂的事情，只是简单的东西（不像指向指针或结构的指针）。

我在这里得到了 md5 算法。

我将文件包含在我md5.c的md5.hC 项目中（使用代码块），但唯一的问题是我并不真正了解如何使用它。我已经阅读并重新阅读了代码，但我不明白如何使用这些函数将“示例”转换为 MD5 哈希。

我有一段时间没有做过 C 编程（主要是 php），所以我有点迷失了。基本上我要问的是一些使用示例。它们是通过md5main.c文件提供的，但我不明白。

我在这里的目标很高吗？我是否应该停止这一切并重新开始阅读 C 书，或者任何人都可以给我一些指示，看看我是否能解决这个问题。

谢谢。

我正在整理一些正则表达式来处理将传入链接从旧站点重定向到新站点上的等效页面。我希望我可以在正则表达式中处理以下情况，所以我不必在后端进行：

传入链接：/reservations/inn_details.asp?num=717

重定向链接：/reservations/property-detail.aspx?pid=00717

可以看到，原来的查询字符串值 717 需要在重定向链接中为 00717。规则是这些 ID 在重定向的 URL 中都需要有五个字符长。

所以我的问题是：是否可以在正则表达式中计算出查询字符串值有多少个字符，然后添加足够多的前导 0 以等于五个字符？

我可以做四个单独的正则表达式来覆盖值是 1、2、3 或 4 位长的情况，但是一举处理这一切会更酷！

谢谢，B。

我正在尝试 Coq，但我不完全确定我在做什么。是：

相当于：

编辑：我认为他们是。

如何将方程转换为单个变量的公式？我正在考虑一个数学方程式，例如：

我想要一个可以处理任何公式的函数，并给我单独的变量公式。上述等式将产生以下结果：

我也想从以下开始：

和输出：

我看过表达式树，但我无法想象它是如何工作的。我想要一个 .NET（C#、VB.NET 或 F#）解决方案。有任何想法吗？

就像是：

谢谢。