0

((NOT A) XOR B) と A→B ("iff....then") (~A→~B) は論理的に同じであるため (たとえば、認証が発生しない限りログインは発生しません)、実用的な用途またはは単なる論理トートロジーであり、プログラマーは XOR を使用する場所と if を使用する場所を任意に決定できます。

書き換えの例は payment→delivery ("iff payment() == 'complete' then delivery()") を ((NOT payment()) XOR delivery()) に書き換えたものです

編集：真理値表

A: お支払い B: 配送

AB A' (A→B) (A' XOR B) (A' OR B)
TTFTTT
TFFFFF

失敗したところ

AB A' (A→B) (A' XOR B) (A' OR B)
TFFFFF

そして、A が false の場合は単に false B であり、以下のすべては B が false であることを意味します (NOT A であるため)。

AB A' (A→B) (A' XOR B) (A' OR B)
FTTTFT       _            _
FFTTTT

またはgoal → score ^ ¬goal→¬score、決定論があり、他の方法がないようにします（ゴールを決めなければ得点できません）。

4

1 に答える 1

2

A→Bは（A'OR B）と同等です。これらは論理的に同じであり、交換可能に使用できます。

A→Bと（A'XOR B）の真理値表を作成すると、論理的に同等ではないことがわかります。

編集：これが真理値表です

EDIT2：真理値表を（B iff A）で更新しました。これは、論理的には（A'XOR B）と同等であり、互換的に使用できます。

AB A'（A→B）（A' XOR B）（A'OR B）（B iff A）
TTFTTTT
TFFFFFF
FTTT       F            TF
FFTTTTT
于 2013-03-17T01:48:52.177 に答える