天地有情

[LaTeX] karnaugh-map --- カルノーマップを最大6変数まで描画する

§1 はじめに

karnaugh-mapパッケージは、2,3,4,5,6変数の karnaughマップ を描画します.
また,半自動または手動でkarnaughマップを埋めるコマンドや,マップの上に
インプリカント(包含:グループ化)を描くためのコマンドが含まれています.
(このパッケージは、TikZ、xparse、およびxstringパッケージに依存します)

同類のパッケージとして,kvmacros があり,
拙著ブログ( http://konoyonohana.blog.fc2.com/blog-entry-154.html?all )もご一読ください.

1.1 インストール

必要に応じて,CTAN( http://www.ctan.org/pkg/karnaugh-map )から
ダウンロードしてください.

TeXLive/W32TeX などには標準でインストールされています.

1.2 マニュアル

コマンドラインから texdoc karnaugh-map を実行するか,
上記に同梱の karnaugh-map.pdf をお読み下さい.

§2 使い方

2.1プリアンブルに
  \usepackage {karnaugh-map}
  を記述します.

2.2 コマンド

karnaugh-map00.png


§3 サンプル

(1)3変数の例
karnaugh-map01.png


(2)4変数の例

karnaugh-map02.png


(3)5変数の例

karnaugh-map03.png



(4)6変数の例

マニュアル p-8 (Example) に例があります.ご参照ください.

§4 補足説明

(1)セル(マス目)番号

(a) 6変数の例: この番号はコマンドの引数として使われます.

karnaugh-map04.png


(b) 左上は0~15まで,その次は +16 した16~31,更に次は +16 した 32~47
  更に +16 して 48~63 のセル(マス目)番号です.(6変数までの場合)

(2)冗長入力とは

入力変数の組み合わせが何の意味ももたず,出力状態についても何も定められて
いない場合がある.このような入力を冗長入力(Don't care input)といいます.
従って,"0"と考えても"1"と考えてもどちらでも良いということです.
このパッケージでは "-"記号で表現されています.

(3)最簡加法標準形とは

積和形式で示された論理式で最も簡単化された式を最簡加法標準形と呼びます.
積和形式とは 論理式が ABC+ACD+BCD+ ... のような「積の和」の形式です.

(EOF)
スポンサーサイト
  1. 2017/05/31(水) 07:12:58|
  2. LaTeX Tools

[LaTeX] conteq --- 複数行の等式のタイプセット

§1 はじめに

conteqパッケージは,継続的(\\)な等式(または不等式)のシステムをレイアウトする
conteq環境を提供します.基本的には align*環境のモディファイです.
パッケージはLaTeX3マクロを使って書かれています.

1.1 インストール

必要に応じて,CTAN( http://www.ctan.org/pkg/conteq )から
ダウンロードしてください.

(TeXLive/W32TeX などには標準でインストールされています.)

1.2 マニュアル

コマンドラインから texdoc conteq を実行するか,
上記に同梱の conteq.pdf をお読み下さい.

§2 使い方

2.1プリアンブルに
  \usepackage {conteq}
  を記述します.

2.2 環境

   \begin{conteq}[<options>] ~ \end{conteq}
   
   options:(レイアウト用)
    (1) plain ------ デフォルトのレイアウト
    (2) explline --- 等式の右側下の説明を置くレイアウト
    (3) headline --- plain と同じ,最初の式も右辺と垂直に配置
    (4) onecolumn -- すべてを1つの列に配置
    (5) oneline ---- 説明を無視してすべてを1行にする

§3 サンプル

(1) option: plain(default)の例

conteq01.png


(注)
   ・conteq環境内の第1行目は特殊である.(\\ に注意)
   ・conteq環境内の式と説明文は "&" 記号で区分される.




(2) option: explline の例(結果のみ表示)

conteq02.png




(3) option: headline の例(結果のみ表示)

conteq03.png




(4) option: onecolumn の例(結果のみ表示)

conteq04.png




(5) option: oneline の例(結果のみ表示)

conteq05.png




(EOF)

  1. 2017/05/23(火) 07:39:47|
  2. LaTeX Tools

[LaTeX] childdoc --- \includeされた子ドキュメントも直接コンパイルする

§1 はじめに

\includeコマンドは,大きなドキュメント(bookなど)を
メインファイルと複数のチャイルドファイル(chapterを含む)に構造化する
メカニズムを提供します.

childdocパッケージは,\includeに含まれるドキュメントセクションを
個々のファイル毎に直接コンパイルできるようにするインタフェース
をもちます.

チャイルドファイルのコンパイルでは,生成された文書はメインファイルとは別に
チャイルドの名前をもちます.

1.1 インストール

必要に応じて,CTAN( http://www.ctan.org/pkg/childdoc )から
ダウンロードしてください.

TeXLive/W32TeX などには標準でインストールされています.

1.2 マニュアル

コマンドラインから texdoc childdoc を実行するか,
上記に同梱の childdoc.pdf をお読み下さい.

§2 使い方

パッケージchilddoc は標準のLaTeX ".sty"スタイルファイルではありません!

したがって,非標準的な方法で呼び出す必要があります.

メインのLaTeX ファイルの \documentclass文の前に,次のコマンドを追加します.

\input{childdoc.def}
\childdoc{main}


チャイルドファイルには,次のコマンドを冒頭に追加します.

\input{main}

具体的には,以下のサンプルをご覧ください.

§2 サンプル

2.1 メインファイルの作成 (main.tex)

■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■
\ProvidesFile{main.tex}
\input{childdoc.def}
\childdoc{main}

%
\documentclass[a6paper,papersize]{jsarticle}
\begin{document}
\addtocounter{page}{-1}
\begin{center}
{\LARGE\bfseries{}childdoc example\par}
\end{center}

\newpage

\include{child01}
\include{child02}

\end{document}
■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■





2.2 チャイルドファイルの作成(1) (child01.tex)

■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■
%%\providecommand{\version}{final}
\input{main}

\section{吾輩は猫}
吾輩は猫である.名前はまだ無い.\\
どこで生れたかとんと見当がつかぬ.
何でも薄暗いじめじめした所でニャーニャー泣いていた事だけは記憶している.
吾輩はここで始めて人間というものを見た.
\endinput
■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■





2.3 チャイルドファイルの作成(2) (child02.tex)

■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■
%%\providecommand{\version}{final}
\input{main}

\section{草枕}
山路を登りながら、こう考えた。\\
智に働けば角が立つ。\\
情に棹させば流される。\\
意地を通せば窮屈だ。\\
とかくに人の世は住みにくい。

\endinput
■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■




2.4 メインファイルのコンパイル

ptex2pdf -l main

結果

main.pdfの内容

chd-main01.png






2.5 チャイルドファイルのコンパイル

child01.tex および child02.tex も単独でコンパイルできます.

ptex2pdf -l child01
あるいは
ptex2pdf -l child02


結果

child01.pdfの内容

chd-child01.png



child02.pdfの内容

chd-child02.png





補遺

「美文書作成入門」(5~7版)をお持ちの方は,第17章当たりの "ファイルとフォルダの準備" の項を
ご参照ください.概略は以下のようです.

-----------------------------------------------------------------
章ごとのファイルを一括するための元締めとなる次のようなファイルを作り,同じフォルダに置きます.
ファイル名は main.tex とし, コンパイルは platex main とします.

章ごとに処理するにはプリアンブルに \includeonly{honron} とします.こうすれば honron.tex しか処理
されません.勿論,コンパイルは platex main とします.

\documentclass{jsbook}
\usepackage{...}
\begin{document}
  ----
  ----
  ----
\include{joron} %第1章 序論
\include{honron} %第2章 本論
\include{keturon} %第3章 結論
  ----
  ----
\end{document}
-----------------------------------------------------------------

上記の方法での \include機構にはいくつかの欠点があります.

● チャイルド(子)ファイルは独自にコンパイルすることはできず,
  メインファイルを介してのみコンパイルすることができます.
  チャイルドファイルをコンパイルしようとするとエラーが発生します.

● ニーズに合わせて\includeonlyコマンドを調整するには,メインファイルを変更する
  必要があります.これはメインファイルを複雑な状態にしてしまいます.

● 生成された文書は,常にメイン文書のファイル名をもちます.
  これは,いくつかのチャイルドファイルをコンパイルし,配布用に保管する場合には不便です

このような欠点を取り除いたのが childdocパッケージ です.

(EOF)
  1. 2017/05/10(水) 09:49:34|
  2. LaTeX Tools