robin/Robin_PHD
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

.

Browse Source
This commit is contained in:
robin 2011-03-29 20:28:48 +01:00
parent 492eb82704
commit dd55491924
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
logic_diagram/logic_diagram.tex
View File

@ -159,7 +159,7 @@ With these three visual syntax elements, we have the basic building blocks for a
\begin{figure}
\centering
\includegraphics[width=200pt,keepaspectratio=true]{./logic_diagram/examplepld.jpg}
\includegraphics[width=300pt,keepaspectratio=true]{./logic_diagram/examplepld.jpg}
% examplepld.jpg: 443x244 pixel, 72dpi, 15.63x8.61 cm, bb=0 0 443 244
\caption{Propositional Logic Diagram General Example}
\label{fig:examplepld}
@ -184,7 +184,8 @@ R1, R2 and R3.
A group of `test cases' connected by joining lines
is defined as a `test case disjunction' or symptomatically merged group (SMG).
This is the analog of a `spider' in constraint diagrams~\cite{howse:spider}.
Joining lines R2 and R3 form a Spider, or symptomatically merged group (SMG).
Joining lines R2 and R3 form a Spider, or symptomatically merged group (SMG) comprised of three test~cases.
The joining line R1 forms an SMG with two test~cases.
%SMGs may be labelled.
%To differentiate these from common Euler diagram notation (normally used to represent set theory)