|
Pitanje glasi: Logička formula [latex]((A \vee B) \rightarrow C) \wedge (C \rightarrow (A \wedge B))[/latex] ekvivalentna je formuli: (kojoj?)
E sad, znam da se implikacija [latex](G \rightarrow H)[/latex] može napisati kao [latex](\neg G \vee H)[/latex], pa se uz [latex]G_1 \equiv(A \vee B)[/latex], [latex]G_2 \equiv(A \wedge B)[/latex] i [latex]H \equiv C[/latex] zadani izraz može napisati kao
[latex](\neg (A \vee B) \vee C) \wedge (\neg C \vee (A \wedge B))[/latex] a zbog de Morganovog zakona i komutativnosti disjunkcije vrijedi:
[latex]((\neg A \wedge \neg B) \vee C) \wedge ((A \wedge B) \vee \neg C)[/latex]
ali kako god to sad okretao, ne ispada mi točno rješenje, koje je
[latex](A \wedge B \wedge C) \vee (\neg A \wedge \neg B \wedge \neg C)[/latex]
Zahvaljujem...
Pitanje glasi: Logička formula  ekvivalentna je formuli: (kojoj?)
E sad, znam da se implikacija  može napisati kao  , pa se uz  ,  i  zadani izraz može napisati kao
 a zbog de Morganovog zakona i komutativnosti disjunkcije vrijedi:
ali kako god to sad okretao, ne ispada mi točno rješenje, koje je
Zahvaljujem...
|
