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

formatting

Browse Source
This commit is contained in:
Robin Clark 2011-03-14 19:59:04 +00:00
parent e33d339346
commit 10909863f8
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
logic_diagram/logic_diagram.tex
View File

@ -606,7 +606,7 @@ It has three SMG's Q,R and P. Thus there are three ways in which this functional
\subsection { Contours with shared label example } \subsection { Contours with shared label example }
Contours/ Closed Curves with the same label are allowed in a PLD diagram. Contours/Closed Curves with the same label are allowed in a PLD diagram.
Logical contradictions or tautologies can be detected automatically by Logical contradictions or tautologies can be detected automatically by
a software tool which assists in drawing these diagrams. a software tool which assists in drawing these diagrams.