以下は、DNF の形式文法である:
紳竜・さんまのスクープ一直線
概要.
構成・脚本はかわら長介と萩原芳樹が担当。以前ラジオに萩原がゲスト出演した時に「この番組は非常に大好きで、台本を書くのが楽しくて仕方がなかった」と当時の事を話していた。
三重テレビと岐阜放送でも遅れネットをしていた。
かえつ有明中・高等学校
最上総合支庁
組織.
最上総合支庁の庁舎は新庄市金沢にあり、他の総合支庁と同じく総務企画部、保健福祉環境部、産業経済部、建設部が設置されている。
所在地.
嘉悦女子高等学校
主加法標準形
ちきゅう屋駄菓子店
概要.
CBCホールからの公開録画。
毎回、「地球の未来を救うかもしれないヒント」を持ったお客さん（ゲスト）がやって来る。
前番組は『がんばれ!ペナキッズ』。
この街のどこかに
解説.
かえつ有明高等学校
嘉悦女子中学校
かえつ有明中学校
連言標準形
定義.
内側の選言を節（）と呼ぶ。
概要.
以下の論理式は CNF の一種である。
しかし、以下の論理式は CNF ではない。
リテラル（）は、変項（命題）か変項の否定であり、否定演算子はこの形でのみ出現する。全ての変項（またはその否定）を含む論理式を標準項と呼び、特に全ての変項（またはその否定）の論理和の形式になっている項を最大項と呼ぶ。従って、最大項の論理積の形式になっている論理式は、CNF である。この形式は、真理値表で出力が「偽」となる行を最大項として取り出したものを論理積で繋いだものであり、その真理値表に対応する論理式となっている。つまり、真理値表で表されるものは全て連言標準形の論理式で表せ、組合せ回路も連言標準形で表せる。
連言標準形から節標準形を作ることができ、節標準形は導出に使われる。
連言標準形を論理式として見ると、充足可能性問題などの解法の一つとなる。左記の論理式の全ての充足解を求める手法として、二分決定グラフで表現し、これを圧縮することで実用的に解を導くことができる場合がある。二分決定グラフには幾つかの種類があるが、充足可能性問題や最適化問題の解法として実用的に取り扱う手法が知られている。
連言標準形への変換.
解説.
アルバム『百景』に先駆けて発売されたシングル。
CDエクストラとして、「島唄」ライヴ映像が収録。
収録曲.
全曲作詞・作曲：宮沢和史
主乗法標準形