問題タブ [logic]

私の大学レベルのコースの1つでこのようなことをしたことを覚えていると確信しており、それには何らかの公式がありましたが、私の心はそれを超えて私を失敗させています。

次のステートメントが与えられます：（a OR b OR d）AND（a OR c）

これは次のように減らすことができると確信しています：（a OR b OR d OR c）

しかし、それを証明する方法を思い出せません。

多分それは一連の論理表でしたか？

できるだけ効率的に機能する論理演算を実装したいと考えています。この真理値表が必要です:

これは、ウィキペディアによると「論理的含意」と呼ばれています

私は長い間、条件を使用せずに C のビット演算でこれを行う方法を理解しようと試みてきました。たぶん、誰かがそれについていくつかの考えを持っています。

ありがとう

ゲームでは、フレームごとに多くのエンティティを更新する必要があります。これを実現するために、さまざまなデザインパターンをいじっています。これまで、Ive にはすべての Logic インスタンスが追加されるシングルトン マネージャー クラスがありました。しかし、ロジッククラス自体の静的リストである次のことを検討しています。プロジェクトからクラスを削除するので、これは素晴らしいことです。この例の「エンジン」は、update_all を呼び出すマスター クラスになります。

• このパターンに名前はありますか？
• これは、シングルトン マネージャー クラスよりも優れたアプローチだと思いますか?
• その他のコメントや注意事項はありますか?

JavaScript でこれを行う方法はいくつかあります。

最も読みやすく柔軟なのは、おそらく次のとおりです。

割り当てでのみ*機能し、読みにくい他のものは次のとおりです。

ただし、私の主な質問は、私が考えることができる最後の2つの方法についてです。

この 2 つの表現に違いはありますか? 両方に欠けている読みやすさ以外。

*ただし、foo を関数に割り当てて、if ステートメントの後で実行することもできます。

フィールドと日付範囲を指定するイベント テーブルがstart_dateありend_dateます。現在の週を「week_start」と「week_end」として定義するコードで指定された別の日付範囲があります。

その週のすべてのイベントを照会したいと思います。ケースは次のようです。

• イベントはその週に開始および終了します
• イベントは週の前に開始されますが、週内に終了します
• イベントは 1 週間以内に始まり、1 週間後に終了します
• イベントは週の前に開始し、週の後に終了します
• 週内に存在せず、まったく重なっていないイベントは無視されます

これらすべてのケースを処理できるクエリを考え出そうとしています。これまでのところ、週の重複を処理するケース、または完全に内部的なイベントしか取得できませんでした。基本的に、レコードが多すぎるか、まったくレコードがありません。

私はMD5を使用してCで何かをしようとしています（後者はSHA1アルゴリズムを使用して何かをしようとしています）。私の主な問題は、Cで複雑なことをしたことはなく、単純なこと（ポインターや構造体へのポインターのようなもの）を行ったことはないということです。

ここでmd5アルゴリズムを取得しました。

ファイルmd5.cとmd5.hCプロジェクトに（コードブロックを使用して）含めましたが、唯一の問題は、その使用方法がよくわからないことです。コードを読んで再読み込みしましたが、これらの関数を使用して「example」をMD5ハッシュに変換する方法がわかりません。

私はしばらくの間Cプログラミング（主にphp）を行っていないので、ここで少し迷っています。基本的に私が求めているのは、いくつかの使用例です。それらはファイルを介して提供されmd5main.cますが、私はそれらを理解していません。

私はここで高い目標を掲げていますか？これをすべて止めて、Cの本をもう一度読み始めるか、誰かが私にいくつかの指針を与えて、私がこれを理解できるかどうかを確認することができますか。

ありがとう。

古いサイトから新しいサイトの同等のページへの着信リンクのリダイレクトを処理するために、いくつかの正規表現をまとめています。正規表現で次の状況を処理できることを望んでいるので、バックエンドでそれを行う必要はありません。

着信リンク：/reservations/inn_details.asp？num = 717

リダイレクトされたリンク：/reservations/property-detail.aspx?pid=00717

ご覧のとおり、リダイレクトされたリンクでは、717の元のクエリ文字列値は00717である必要があります。ルールでは、これらのIDはすべてリダイレクトされたURLで5文字の長さである必要があります。

だから私の質問は：正規表現内でクエリ文字列値がいくつの文字であるかを把握し、それに5文字に等しくなるのに十分な先頭の0を追加することは可能ですか？

値が1、2、3、または4桁の長さの場合をカバーするために、4つの個別の正規表現を実行できますが、すべてを1回の急降下で処理する方がはるかにクールです。

ありがとう、B。

Coq を試していますが、何をしているのか完全にはわかりません。は：

に相当：

編集：そうだと思います。