docs: Added UNIX V10 Manuals

1 files changed, 78 insertions, 0 deletions

diff --git a/static/v10/man5/minterm.10.5 b/static/v10/man5/minterm.10.5
new file mode 100644
index 00000000..085a24e7
--- /dev/null
+++ b/static/v10/man5/minterm.10.5
@@ -0,0 +1,78 @@
+.TH MINTERM 10.5 UCDS
+.SH NAME
+minterm \- minterm file format
+.SH DESCRIPTION
+The
+.I minterm
+file format consists of at least one binary valued function
+definition.
+A function definition begins
+.B .o
+.I n ...
+followed by line(s) that have the form
+.IR term : mask
+\&...
+The first
+.I n
+following
+.B .o
+is a numeric symbol of the function
+(usually an output pin number of a rom or pal integrated circuit).
+Any other
+.IR n 's
+are numeric symbols of input binary variables.
+.I Term
+and
+.I mask
+are decimal numbers.
+.PP
+There is a correspondence between the bits of the numbers in binary
+representation and the input symbols, the first input symbol
+is associated with the least significant bit.
+The meaning of a bit with value 1 in
+.I mask
+is `do care',
+and the meaning of a bit with value 1 in
+.I term
+is `input must be 1'.
+Thus the
+.IR term : mask
+is a implicant, and a set of them when
+.IR or 'ed
+together
+describes the input conditions for which the output symbol will have
+a value of 1.
+.PP
+For example:
+.IP
+.ft 8
+ .o 3 1 2
+ 3:3
+ .o 4 1 2
+ 1:3 2:3 3:3
+ .o 5 2 3
+ 1:3 2:3
+ .o 11
+ .o 9
+ 0:0
+.ft
+.PP
+Output 3 is the
+.I and
+function of inputs 1 and 2;
+output 4 is the
+.I or
+function of inputs 1 and 2
+.RI ( quine (10.1)
+would change this to 1:1 2:2);
+output 5 is the
+.I exclusive-or
+function of inputs 2 and 3;
+output 11 is a constant 0 and output 9 is
+a constant 1.
+.SH SEE ALSO
+.IR lde (10.1),
+.IR quine (10.1),
+.IR cover (10.1),
+.IR hazard (10.1),
+.IR pal (10.1)