Pr♦♣♦s✐t✐♦♥❛❧ ❛♥❞ ❋✐rst ❖r❞❡r ▲♦❣✐❝ Pr♦♣♦s✐t✐♦♥❛❧ ▲♦❣✐❝ Pr♦♣♦s✐t✐♦♥❛❧ ❛♥❞ ❋✐rst ❖r❞❡r ▲♦❣✐❝ ❋✐rst ❖r❞❡r ▲♦❣✐❝ ❇❛❝❦❣r♦✉♥❞ ❑♥♦✇❧❡❞❣❡
❙✉♠♠❛r② Pr♦♣♦s✐t✐♦♥❛❧ ❛♥❞ ❋✐rst ❖r❞❡r ▲♦❣✐❝ Pr♦♣♦s✐t✐♦♥❛❧ ▲♦❣✐❝ ❋✐rst ❖r❞❡r ▲♦❣✐❝ Pr♦♣♦s✐t✐♦♥❛❧ ▲♦❣✐❝ ❬❈❤❛♥❣✲▲❡❡ ❈❤✳ ✷❪ ❋✐rst ❖r❞❡r ▲♦❣✐❝ ❬❈❤❛♥❣✲▲❡❡ ❈❤✳ ✸❪
Pr♦♣♦s✐t✐♦♥❛❧ ▲♦❣✐❝ Pr♦♣♦s✐t✐♦♥❛❧ ❛♥❞ ❋✐rst ❖r❞❡r ▲♦❣✐❝ Pr♦♣♦s✐t✐♦♥❛❧ ▲♦❣✐❝ ❙✉♠♠❛r② ❋✐rst ❖r❞❡r ▲♦❣✐❝ ❙②♥t❛① ❙❡♠❛♥t✐❝s ◆♦r♠❛❧ ❋♦r♠s ❉❡❞✉❝t✐♦♥ ❛♥❞ ❘❡❢✉t❛t✐♦♥
❇❛s✐❝ ❈♦♥❝❡♣ts Pr♦♣♦s✐t✐♦♥❛❧ ❛♥❞ ❋✐rst ❖r❞❡r ▲♦❣✐❝ Pr♦♣♦s✐t✐♦♥❛❧ ❧♦❣✐❝ ✐s t❤❡ s✐♠♣❧❡st ❧♦❣✐❝✖✐❧❧✉str❛t❡s ❜❛s✐❝ ✐❞❡❛s Pr♦♣♦s✐t✐♦♥❛❧ ✉s✐♥❣ ♣r♦♣♦s✐t✐♦♥s ▲♦❣✐❝ P ✶ � ❙♥♦✇ ✐s ✇❤②t❡ ❋✐rst ❖r❞❡r ▲♦❣✐❝ P ✷ � ❚♦❞❛② ✐t ✐s r❛✐♥✐♥❣ P ✸ � ❚❤✐s ❛✉t♦♠❛t❡❞ r❡❛s♦♥✐♥❣ ❝♦✉rs❡ ✐s ❜♦r✐♥❣ P ✐ ✐s ❛♥ ❛t♦♠ ♦r ❛t♦♠✐❝ ❢♦r♠✉❧❛ ❊❛❝❤ P ✐ ❝❛♥ ❜❡ ❡✐t❤❡r tr✉❡ ♦r ❢❛❧s❡ ❜✉t ♥❡✈❡r ❜♦t❤ ❚❤❡ ✈❛❧✉❡s tr✉❡ ♦r ❢❛❧s❡ ❛ss✐❣♥❡❞ t♦ ❡❛❝❤ ♣r♦♣♦s✐t✐♦♥ ✐s ❝❛❧❧❡❞ tr✉t❤ ✈❛❧✉❡ ♦❢ t❤❡ ♣r♦♣♦s✐t✐♦♥
❙②♥t❛① Pr♦♣♦s✐t✐♦♥❛❧ ❘❡❝✉rs✐✈❡ ❞❡✜♥✐t✐♦♥ ♦❢ ✇❡❧❧✲❢♦r♠❡❞ ❢♦r♠✉❧❛s ❛♥❞ ❋✐rst ❖r❞❡r ▲♦❣✐❝ ✶ ❆♥ ❛t♦♠ ✐s ❛ ❢♦r♠✉❧❛ ✷ ■❢ ❙ ✐s ❛ ❢♦r♠✉❧❛✱ ¬ ❙ ✐s ❛ ❢♦r♠✉❧❛ Pr♦♣♦s✐t✐♦♥❛❧ ▲♦❣✐❝ ✭ ♥❡❣❛t✐♦♥ ✮ ❋✐rst ❖r❞❡r ✸ ■❢ ❙ ✶ ❛♥❞ ❙ ✷ ❛r❡ ❢♦r♠✉❧❛s✱ ❙ ✶ ∧ ❙ ✷ ✐s ❛ ❢♦r♠✉❧❛ ▲♦❣✐❝ ✭ ❝♦♥❥✉♥❝t✐♦♥ ✮ ✹ ■❢ ❙ ✶ ❛♥❞ ❙ ✷ ❛r❡ ❢♦r♠✉❧❛s✱ ❙ ✶ ∨ ❙ ✷ ✐s ❛ ❢♦r♠✉❧❛ ✭ ❞✐s❥✉♥❝t✐♦♥ ✮ ✺ ❆❧❧ ✇❡❧❧✲❢♦r♠❡❞ ❢♦r♠✉❧❛s ❛r❡ ❣❡♥❡r❛t❡❞ ❜② ❛♣♣❧②✐♥❣ ❛❜♦✈❡ r✉❧❡s ❙❤♦rt❝✉ts✿ ❙ ✶ → ❙ ✷ ❝❛♥ ❜❡ ✇r✐tt❡♥ ❛s ¬ ❙ ✶ ∨ ❙ ✷ ❙ ✶ ↔ ❙ ✷ ❝❛♥ ❜❡ ✇r✐tt❡♥ ❛s ( ❙ ✶ → ❙ ✷ ) ∧ ( ❙ ✷ → ❙ ✶ )
❙❡♠❛♥t✐❝s Pr♦♣♦s✐t✐♦♥❛❧ ❛♥❞ ❋✐rst ❖r❞❡r ▲♦❣✐❝ ❘❡❧❛t✐♦♥s❤✐♣s ❜❡t✇❡❡♥ tr✉t❤ ✈❛❧✉❡s ♦❢ ❛t♦♠s ❛♥❞ tr✉t❤ ✈❛❧✉❡s ♦❢ Pr♦♣♦s✐t✐♦♥❛❧ ▲♦❣✐❝ ❢♦r♠✉❧❛s ❋✐rst ❖r❞❡r ▲♦❣✐❝ ¬ ❙ ✐s tr✉❡ ✐✛ ❙ ✐s ❢❛❧s❡ ❙ ✶ ∧ ❙ ✷ ✐s tr✉❡ ✐✛ ❙ ✶ ✐s tr✉❡ ❛♥❞ ❙ ✷ ✐s tr✉❡ ❙ ✶ ∨ ❙ ✷ ✐s tr✉❡ ✐✛ ❙ ✶ ✐s tr✉❡ ♦r ❙ ✷ ✐s tr✉❡ ❙ ✶ → ❙ ✷ ✐s tr✉❡ ✐✛ ❙ ✶ ✐s ❢❛❧s❡ ♦r ❙ ✷ ✐s tr✉❡ ✐✳❡✳✱ ✐s ❢❛❧s❡ ✐✛ ❙ ✶ ✐s tr✉❡ ❛♥❞ ❙ ✷ ✐s ❢❛❧s❡ ❙ ✶ ↔ ❙ ✷ ✐s tr✉❡ ✐✛ ❙ ✶ → ❙ ✷ ✐s tr✉❡ ❛♥❞ ❙ ✷ → ❙ ✶ ✐s tr✉❡
❙❡♠❛♥t✐❝s✿ ❊①❛♠♣❧❡ Pr♦♣♦s✐t✐♦♥❛❧ ❛♥❞ ❋✐rst ❖r❞❡r ▲♦❣✐❝ Pr♦♣♦s✐t✐♦♥❛❧ ▲♦❣✐❝ ❊①❛♠♣❧❡ ✭❚r✉t❤ ❚❛❜❧❡s ❢♦r ♠❛✐♥ ❧♦❣✐❝❛❧ ❝♦♥♥❡❝t✐✈❡s✮ ❋✐rst ❖r❞❡r P ✶ P ✷ ¬ P ✶ P ✶ ∧ P ✷ P ✶ ∨ P ✷ P ✶ → P ✷ P ✶ ↔ P ✷ ▲♦❣✐❝ ❚ ❚ ❋ ❚ ❚ ❚ ❚ ❚ ❋ ❋ ❋ ❚ ❋ ❋ ❋ ❚ ❚ ❋ ❚ ❚ ❋ ❋ ❋ ❚ ❋ ❋ ❚ ❚
Pr♦♣♦s✐t✐♦♥❛❧ ❧♦❣✐❝✿ ❊✈❛❧✉❛t✐♦♥ ♦❢ ❋♦r♠✉❧❛ Pr♦♣♦s✐t✐♦♥❛❧ ❛♥❞ ❋✐rst ❖r❞❡r ▲♦❣✐❝ ❘❡❝✉rs✐✈❡ ❊✈❛❧✉❛t✐♦♥ ❈♦♥s✐❞❡r t❤❡ ❢♦r♠✉❧❛ ● � ¬ P ✶ ∧ ( P ✷ ∨ P ✸ ) Pr♦♣♦s✐t✐♦♥❛❧ ▲♦❣✐❝ ❙✉♣♣♦s❡ ✇❡ ❦♥♦✇ t❤❛t P ✶ = ❋ , P ✷ = ❋ , P ✸ = ❚ ❋✐rst ❖r❞❡r ❚❤❡♥ ✇❡ ❤❛✈❡ ▲♦❣✐❝ ¬ P ✶ ∧ ( P ✷ ∨ P ✸ ) = tr✉❡ ∧ ( ❢❛❧s❡ ∨ tr✉❡ ) = tr✉❡ ∧ tr✉❡ = tr✉❡ ◆♦t❡ ❲❡ ❡✈❛❧✉❛t❡ ¬ P ✶ ❜❡❢♦r❡ P ✶ ∧ P ✷ ✱ t❤✐s ✐s ❜❡❝❛✉s❡ t❤❡ ❢♦❧❧♦✇✐♥❣ ❞❡❝r❡❛s✐♥❣ r❛♥❦ ❢♦r ❝♦♥♥❡❝t✐✈❡s ♦♣❡r❛t♦r ❤♦❧❞s✿ ↔ → ∨ ∧ ¬
❙♦❧✳ P ◗ P ◗ P ◗ P ◗ ● ❚ ❚ ❚ ❚ ❋ ❋ ❚ ❋ ❚ ❋ ❚ ❚ ❋ ❚ ❚ ❋ ❚ ❚ ❋ ❋ ❋ ❋ ❚ ❋ ❊①❡r❝✐s❡✿ ❚r✉t❤ ❚❛❜❧❡s Pr♦♣♦s✐t✐♦♥❛❧ ❛♥❞ ❋✐rst ❖r❞❡r ▲♦❣✐❝ ❊①❛♠♣❧❡ ✭❳❖❘✮ ❲r✐t❡ t❤❡ tr✉t❤ t❛❜❧❡ ❢♦r t❤❡ ❢♦r♠✉❧❛✿ Pr♦♣♦s✐t✐♦♥❛❧ ▲♦❣✐❝ ❋✐rst ❖r❞❡r ● � ( P ∨ ◗ ) ∧ ¬ ( P ∧ ◗ ) ▲♦❣✐❝
❊①❡r❝✐s❡✿ ❚r✉t❤ ❚❛❜❧❡s Pr♦♣♦s✐t✐♦♥❛❧ ❛♥❞ ❋✐rst ❖r❞❡r ▲♦❣✐❝ ❊①❛♠♣❧❡ ✭❳❖❘✮ ❲r✐t❡ t❤❡ tr✉t❤ t❛❜❧❡ ❢♦r t❤❡ ❢♦r♠✉❧❛✿ Pr♦♣♦s✐t✐♦♥❛❧ ▲♦❣✐❝ ❋✐rst ❖r❞❡r ● � ( P ∨ ◗ ) ∧ ¬ ( P ∧ ◗ ) ▲♦❣✐❝ ❙♦❧✳ P ◗ P ∨ ◗ P ∧ ◗ ¬ ( P ∧ ◗ ) ● ❚ ❚ ❚ ❚ ❋ ❋ ❚ ❋ ❚ ❋ ❚ ❚ ❋ ❚ ❚ ❋ ❚ ❚ ❋ ❋ ❋ ❋ ❚ ❋
■♥t❡r♣r❡t❛t✐♦♥ Pr♦♣♦s✐t✐♦♥❛❧ ❛♥❞ ❋✐rst ❖r❞❡r ▲♦❣✐❝ ❉❡✜♥✐t✐♦♥ Pr♦♣♦s✐t✐♦♥❛❧ ■♥t❡r♣r❡t❛t✐♦♥✿ ●✐✈❡♥ ❛ ♣r♦♣♦s✐t✐♦♥❛❧ ❢♦r♠✉❧❛ ● ✱ ❧❡t ▲♦❣✐❝ { ❆ ✶ , · · · , ❆ ♥ } ❜❡ t❤❡ s❡t ♦❢ ❛t♦♠s ✇❤✐❝❤ ♦❝❝✉r ✐♥ t❤❡ ❢♦r♠✉❧❛✱ ❋✐rst ❖r❞❡r ▲♦❣✐❝ ❛♥ ■♥t❡r♣r❡t❛t✐♦♥ ■ ♦❢ ● ✐s ❛♥ ❛ss✐❣♥♠❡♥t ♦❢ tr✉t❤ ✈❛❧✉❡s t♦ { ❆ ✶ , · · · , ❆ ♥ } ✳ ❊①❛♠♣❧❡ ❈♦♥s✐❞❡r t❤❡ ❢♦r♠✉❧❛✿ ● � ( P ∨ ◗ ) ∧ ¬ ( P ∧ ◗ ) ❙❡t ♦❢ ❛t♦♠s✿ { P , ◗ } ■♥t❡r♣r❡t❛t✐♦♥ ❢♦r ● ✿ ■ = { P = ❚ , ◗ = ❋ }
■♥t❡r♣r❡t❛t✐♦♥ ❝♦♥t❞✳ Pr♦♣♦s✐t✐♦♥❛❧ ❛♥❞ ❋✐rst ❖r❞❡r ▲♦❣✐❝ ❊❛❝❤ ❛t♦♠ ❆ ✐ ❝❛♥ ❜❡ ❛ss✐❣♥❡❞ ❡✐t❤❡r ❚r✉❡ ♦r ❋❛❧s❡ ❜✉t ♥❡✈❡r ❜♦t❤✳ Pr♦♣♦s✐t✐♦♥❛❧ ▲♦❣✐❝ ●✐✈❡♥ ❛♥ ✐♥t❡r♣r❡t❛t✐♦♥ ■ ❛ ❢♦r♠✉❧❛ ● ✐s s❛✐❞ t♦ ❜❡ tr✉❡ ✐♥ ❋✐rst ❖r❞❡r ■ ✐✛ ● ✐s ❡✈❛❧✉❛t❡❞ t♦ ❚r✉❡ ✐♥ t❤❡ ✐♥t❡r♣r❡t❛t✐♦♥ ▲♦❣✐❝ ●✐✈❡♥ ❛ ❢♦r♠✉❧❛ ● ✇✐t❤ ♥ ❞✐st✐♥❝t ❛t♦♠s t❤❡r❡ ✇✐❧❧ ❜❡ ✷ ♥ ❞✐st✐♥❝t ✐♥t❡r♣r❡t❛t✐♦♥s ❢♦r t❤❡ ❛t♦♠s ✐♥ ● ✳ ❈♦♥✈❡♥t✐♦♥✿ { P , ¬ ◗ , ¬ ❘ , ❙ } r❡♣r❡s❡♥ts ❛♥ ✐♥t❡r♣r❡t❛t✐♦♥ ■ : { P = ❚ , ◗ = ❋ , ❘ = ❋ , ❙ = ❚ } ✳ ●✐✈❡♥ ❛ ❢♦r♠✉❧❛ ● ❛♥❞ ❛♥ ✐♥t❡r♣r❡t❛t✐♦♥ ■ ✱ ✐❢ ● ✐s tr✉❡ ✉♥❞❡r ■ ✇❡ s❛② t❤❛t ■ ✐s ❛ ♠♦❞❡❧ ❢♦r ● ✳❛♥❞ ✇❡ ❝❛♥ ✇r✐t❡ ■ | = ●
Recommend
More recommend