diff --git a/logic_diagram/logic_diagram.tex b/logic_diagram/logic_diagram.tex index f547780..ab8f263 100644 --- a/logic_diagram/logic_diagram.tex +++ b/logic_diagram/logic_diagram.tex @@ -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 } -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 a software tool which assists in drawing these diagrams.