From 10909863f8d7c0371cf820ecbc154c64c045dcf5 Mon Sep 17 00:00:00 2001 From: Robin Clark Date: Mon, 14 Mar 2011 19:59:04 +0000 Subject: [PATCH] formatting --- logic_diagram/logic_diagram.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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.