A Wikiszótárból, a nyitott szótárból
Kiejtés
IPA : [ ˈtɛjːɛʃ ˈdisjuŋktiːv ˈnormaːlformɒ]
Főnév
teljes diszjunktív normálforma
( matematika ) Az
A
1
,
…
,
A
n
{\displaystyle A_{1},\dots ,A_{n}}
változókból felépített
K
1
∨
⋯
∨
K
l
{\displaystyle K_{1}\vee \dots \vee K_{l}}
diszjunktív normálformát teljes diszjunktív normálformának nevezzük (rövidítve: t.d.nf.), ha
K
1
,
…
,
K
l
{\displaystyle K_{1},\dots ,K_{l}}
páronként különböző, n-tagú konjunkciók, melyekben az
A
1
,
…
,
A
n
{\displaystyle A_{1},\dots ,A_{n}}
változók mindegyike szerepel negálva vagy negálatlanul.
A
F
=
(
A
↔
B
)
∨
(
(
¬
B
)
∧
C
)
{\displaystyle F=(A\leftrightarrow B)\vee ((\neg B)\wedge C)}
logikai formula teljes diszjunktív normálformája:
F
≡
(
A
∧
B
∧
C
)
∨
(
A
∧
B
∧
(
¬
C
)
)
∨
(
A
∧
(
¬
B
)
∧
C
)
∨
(
(
¬
A
)
∧
(
¬
B
)
∧
C
)
∨
(
(
¬
A
)
∧
(
¬
B
)
∧
(
¬
C
)
)
{\displaystyle F\equiv (A\wedge B\wedge C)\vee (A\wedge B\wedge (\neg C))\vee (A\wedge (\neg B)\wedge C)\vee ((\neg A)\wedge (\neg B)\wedge C)\vee ((\neg A)\wedge (\neg B)\wedge (\neg C))}
A
B
C
A
↔
B
¬
B
(
¬
B
)
∧
C
F
i
i
i
i
h
h
i
i
i
h
i
h
h
i
i
h
i
h
i
i
i
i
h
h
h
i
h
h
h
i
i
h
h
h
h
h
i
h
h
h
h
h
h
h
i
i
i
i
i
h
h
h
i
i
h
i
{\displaystyle {\begin{array}{ccc|cccc}{A}&{B}&{C}&{A\leftrightarrow B}&{\neg B}&{(\neg B)\wedge C}&{F}\\\hline {i}&{i}&{i}&{i}&{h}&{h}&{i}\\{i}&{i}&{h}&{i}&{h}&{h}&{i}\\{i}&{h}&{i}&{h}&{i}&{i}&{i}\\{i}&{h}&{h}&{h}&{i}&{h}&{h}\\{h}&{i}&{i}&{h}&{h}&{h}&{h}\\{h}&{i}&{h}&{h}&{h}&{h}&{h}\\{h}&{h}&{i}&{i}&{i}&{i}&{i}\\{h}&{h}&{h}&{i}&{i}&{h}&{i}\end{array}}}
Fordítások