Teljes diszjunktív normálforma

1. Sablon:Humatek Az $A_1,\dots ,A_n$ változókból felépített $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,\dots ,K_l$ páronként különböző, n-tagú konjunkciók, melyekben az $A_1,\dots ,A_n$ változók mindegyike szerepel negálva vagy negálatlanul.

A $F=(A\leftrightarrow B)\vee ((\mathrm{\neg }B)\wedge C)$ logikai formula teljes diszjunktív normálformája:

$F\equiv (A\wedge B\wedge C)\vee (A\wedge B\wedge (\mathrm{\neg }C))\vee (A\wedge (\mathrm{\neg }B)\wedge C)\vee ((\mathrm{\neg }A)\wedge (\mathrm{\neg }B)\wedge C)\vee ((\mathrm{\neg }A)\wedge (\mathrm{\neg }B)\wedge (\mathrm{\neg }C))$

$\begin{array}{ccccccc}A& B& C& A\leftrightarrow B& \mathrm{\neg }B& (\mathrm{\neg }B)\wedge 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\end{array}$

• Sablon:En: Sablon:T
• Sablon:Ru: Sablon:T