diff --git a/logic_diagram/logic_diagram.tex b/logic_diagram/logic_diagram.tex index 9d236f2..f6fa0eb 100644 --- a/logic_diagram/logic_diagram.tex +++ b/logic_diagram/logic_diagram.tex @@ -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)