{VERSION 6 0 "IBM INTEL NT" "6.0" }
{USTYLETAB {PSTYLE "Dash Item" -1 16 1 {CSTYLE "" -1 -1 "Times" 1 12 
0 0 0 1 2 2 2 2 2 2 0 0 0 1 }1 1 0 0 3 3 2 0 2 0 2 2 -1 3 }{PSTYLE "Wa
rning" -1 7 1 {CSTYLE "" -1 -1 "Courier" 1 10 0 0 255 1 0 0 0 2 2 1 0 
0 0 1 }1 0 0 -1 -1 -1 1 0 1 0 2 2 -1 1 }{PSTYLE "Bullet Item" -1 15 1 
{CSTYLE "" -1 -1 "Times" 1 12 0 0 0 1 2 2 2 2 2 2 0 0 0 1 }1 1 0 0 3 
3 2 0 2 0 2 2 -1 2 }{PSTYLE "_pstyle6" -1 200 1 {CSTYLE "" -1 -1 "" 0 
1 0 0 0 0 0 0 0 2 2 2 0 0 0 1 }0 0 0 -1 -1 -1 2 0 2 0 2 2 -1 1 }
{PSTYLE "_pstyle5" -1 201 1 {CSTYLE "" -1 -1 "Times" 0 1 0 0 255 1 0 
0 2 2 2 2 0 0 0 1 }3 3 0 0 0 0 2 0 2 0 2 2 -1 1 }{PSTYLE "_pstyle4" 
-1 202 1 {CSTYLE "" -1 -1 "Times" 1 12 0 0 1 1 2 2 2 2 2 2 0 0 0 1 }1 
1 0 0 0 0 2 0 2 0 2 2 -1 1 }{PSTYLE "_pstyle3" -1 203 1 {CSTYLE "" -1 
-1 "Courier" 1 10 0 0 255 1 2 2 2 2 2 1 0 0 0 1 }1 1 0 0 0 0 2 0 2 0 
2 2 -1 1 }{PSTYLE "_pstyle2" -1 204 1 {CSTYLE "" -1 -1 "Times" 1 12 
255 0 0 1 2 1 2 2 1 2 0 0 0 1 }1 1 0 0 0 0 2 0 2 0 2 2 -1 1 }{PSTYLE "
_pstyle1" -1 205 1 {CSTYLE "" -1 -1 "Times" 1 24 0 0 1 1 2 2 2 2 2 2 
0 0 0 1 }3 1 0 0 8 4 2 0 2 0 2 2 -1 1 }{PSTYLE "Line Printed Output" 
-1 6 1 {CSTYLE "" -1 -1 "Courier" 1 10 0 0 255 1 0 0 0 2 2 1 0 0 0 1 }
1 0 0 -1 -1 -1 1 0 1 0 2 2 -1 1 }{PSTYLE "Heading 4" -1 20 1 {CSTYLE "
" -1 -1 "Times" 1 10 0 0 0 1 1 1 2 2 2 2 0 0 0 1 }1 1 0 0 0 0 2 0 2 0 
2 2 -1 1 }{PSTYLE "Heading 3" -1 5 1 {CSTYLE "" -1 -1 "Times" 1 12 0 
0 0 1 1 1 2 2 2 2 0 0 0 1 }1 1 0 0 0 0 2 0 2 0 2 2 -1 1 }{PSTYLE "Head
ing 2" -1 4 1 {CSTYLE "" -1 -1 "Times" 1 14 0 0 0 1 2 1 2 2 2 2 0 0 0 
1 }1 1 0 0 8 2 2 0 2 0 2 2 -1 1 }{PSTYLE "Maple Output" -1 11 1 
{CSTYLE "" -1 -1 "Times" 1 12 0 0 0 1 2 2 2 2 2 2 0 0 0 1 }3 3 0 0 0 
0 2 0 2 0 2 2 -1 1 }{PSTYLE "Heading 1" -1 3 1 {CSTYLE "" -1 -1 "Times
" 1 18 0 0 0 1 2 1 2 2 2 2 0 0 0 1 }1 1 0 0 8 4 2 0 2 0 2 2 -1 1 }
{PSTYLE "Author" -1 19 1 {CSTYLE "" -1 -1 "Times" 1 12 0 0 0 1 2 2 2 
2 2 2 0 0 0 1 }3 1 0 0 8 8 2 0 2 0 2 2 -1 1 }{PSTYLE "Maple Plot" -1 
13 1 {CSTYLE "" -1 -1 "Times" 1 12 0 0 0 1 2 2 2 2 2 2 0 0 0 1 }3 1 0 
0 0 0 2 0 2 0 2 2 -1 1 }{PSTYLE "Help" -1 10 1 {CSTYLE "" -1 -1 "Couri
er" 1 9 0 0 255 1 0 0 0 2 2 1 0 0 0 1 }1 0 0 -1 -1 -1 1 0 1 0 2 2 -1 
1 }{PSTYLE "Left Justified Maple Output" -1 12 1 {CSTYLE "" -1 -1 "Tim
es" 1 12 0 0 0 1 2 2 2 2 2 2 0 0 0 1 }1 3 0 0 0 0 2 0 2 0 2 2 -1 1 }
{PSTYLE "Fixed Width" -1 17 1 {CSTYLE "" -1 -1 "Courier" 1 10 0 0 0 1 
2 2 2 2 2 2 0 0 0 1 }3 1 0 0 0 0 2 0 2 0 2 2 -1 1 }{PSTYLE "Text Outpu
t" -1 2 1 {CSTYLE "" -1 -1 "Times" 1 12 0 0 255 1 2 2 2 2 2 1 0 0 0 1 
}1 1 0 0 0 0 2 0 2 0 2 2 -1 1 }{PSTYLE "List Item" -1 14 1 {CSTYLE "" 
-1 -1 "Times" 1 12 0 0 0 1 2 2 2 2 2 2 0 0 0 1 }1 1 0 0 3 3 2 0 2 0 2 
2 -1 5 }{PSTYLE "Error" -1 8 1 {CSTYLE "" -1 -1 "Courier" 1 10 255 0 
255 1 0 0 0 2 2 1 0 0 0 1 }1 0 0 -1 -1 -1 1 0 1 0 2 2 -1 1 }{PSTYLE "D
iagnostic" -1 9 1 {CSTYLE "" -1 -1 "Courier" 1 10 64 128 64 1 0 0 0 2 
2 1 0 0 0 1 }1 0 0 -1 -1 -1 1 0 1 0 2 2 -1 1 }{PSTYLE "Title" -1 18 1 
{CSTYLE "" -1 -1 "Times" 1 18 0 0 0 1 2 1 1 2 2 2 0 0 0 1 }3 1 0 0 12 
12 2 0 2 0 2 2 -1 1 }{PSTYLE "Normal" -1 0 1 {CSTYLE "" -1 -1 "Times" 
1 12 0 0 1 1 2 2 2 2 2 2 0 0 0 1 }1 1 0 0 0 0 2 0 2 0 2 2 -1 1 }
{CSTYLE "LaTeX" -1 32 "" 0 1 0 0 0 0 0 0 0 2 2 2 0 0 0 1 }{CSTYLE "Map
le Comment" -1 21 "Courier" 0 1 0 0 0 1 0 0 0 2 2 2 0 0 0 1 }{CSTYLE "
2D Math Bold" -1 5 "Times" 0 1 0 0 0 0 0 1 2 2 2 2 0 0 0 1 }{CSTYLE "H
elp Underlined" -1 44 "Times" 1 12 0 0 0 0 0 0 1 2 2 2 0 0 0 1 }
{CSTYLE "Output Labels" -1 29 "Times" 1 8 0 0 0 1 0 0 0 2 2 2 0 0 0 1 
}{CSTYLE "Maple Input" -1 0 "Times" 1 12 255 0 0 1 2 2 2 2 1 2 0 0 0 
1 }{CSTYLE "Page Number" -1 33 "Times" 0 1 0 0 0 0 0 0 2 2 2 2 0 0 0 
1 }{CSTYLE "Text" -1 200 "Times" 1 12 0 0 0 1 2 2 2 2 2 2 0 0 0 1 }
{CSTYLE "2D Math Italic Small" -1 201 "Times" 0 1 0 0 0 0 1 0 2 2 2 2 
0 0 0 1 }{CSTYLE "Help Heading" -1 26 "" 1 14 0 0 0 0 0 1 0 2 2 2 0 0 
0 1 }{CSTYLE "Help Italic Bold" -1 40 "Times" 1 12 0 0 0 0 1 1 0 2 2 
2 0 0 0 1 }{CSTYLE "Help Normal" -1 30 "Times" 1 12 0 0 0 0 0 0 0 2 2 
2 0 0 0 1 }{CSTYLE "Help Nonterminal" -1 24 "Courier" 0 1 0 0 0 1 0 1 
0 2 2 2 0 0 0 1 }{CSTYLE "2D Math Small" -1 7 "Times" 0 1 0 0 0 0 0 0 
2 2 2 2 0 0 0 1 }{CSTYLE "Help Underlined Italic" -1 43 "Times" 1 12 
0 0 0 0 1 0 1 2 2 2 0 0 0 1 }{CSTYLE "2D Math" -1 2 "Times" 0 1 0 0 0 
0 0 0 2 2 2 2 0 0 0 1 }{CSTYLE "Copyright" -1 34 "Times" 1 10 0 0 0 0 
2 2 2 2 2 2 0 0 0 1 }{CSTYLE "Hyperlink" -1 17 "" 0 1 0 128 128 1 2 0 
1 2 2 2 0 0 0 1 }{CSTYLE "Plot Title" -1 27 "" 1 10 0 0 0 0 0 1 0 2 2 
2 0 0 0 1 }{CSTYLE "2D Input" -1 19 "Times" 0 1 255 0 0 1 0 0 2 2 1 2 
0 0 0 1 }{CSTYLE "Help Maple Name" -1 35 "" 0 1 104 64 92 1 0 1 0 2 2 
2 0 0 0 1 }{CSTYLE "Help Italic" -1 42 "Times" 1 12 0 0 0 0 1 0 0 2 2 
2 0 0 0 1 }{CSTYLE "Help Underlined Bold" -1 41 "Times" 1 12 0 0 0 0 
0 1 1 2 2 2 0 0 0 1 }{CSTYLE "Default" -1 38 "" 0 1 0 0 0 0 0 0 0 2 2 
2 0 0 0 1 }{CSTYLE "Help Fixed" -1 23 "Courier" 1 10 0 0 0 0 0 0 0 2 
2 2 0 0 0 1 }{CSTYLE "2D Output" -1 20 "Times" 0 1 0 0 255 1 0 0 2 2 
2 2 0 0 0 1 }{CSTYLE "2D Math Italic" -1 3 "Times" 0 1 0 0 0 0 1 0 2 
2 2 2 0 0 0 1 }{CSTYLE "Popup" -1 31 "" 0 1 0 128 128 1 1 0 1 2 2 2 0 
0 0 1 }{CSTYLE "2D Math Symbol 2" -1 16 "Times" 0 1 0 0 0 0 2 2 2 2 2 
2 0 0 0 1 }{CSTYLE "Plot Text" -1 28 "" 1 8 0 0 0 0 0 0 0 2 2 2 0 0 0 
1 }{CSTYLE "Help Notes" -1 37 "" 0 1 0 0 0 1 0 1 0 2 2 2 0 0 0 1 }
{CSTYLE "Help Bold" -1 39 "Times" 1 12 0 0 0 0 0 1 0 2 2 2 0 0 0 1 }
{CSTYLE "Help Menus" -1 36 "" 0 1 0 0 0 1 0 1 0 2 2 2 0 0 0 1 }
{CSTYLE "_cstyle256" -1 202 "Times" 1 24 0 0 1 1 2 2 2 2 2 2 0 0 0 1 }
{CSTYLE "2D Comment" -1 18 "Times" 0 1 0 0 0 0 0 0 2 2 2 2 0 0 0 1 }
{CSTYLE "Help Variable" -1 25 "Courier" 0 1 0 0 0 1 2 2 0 2 2 2 0 0 0 
1 }{CSTYLE "_cstyle4" -1 203 "Times" 1 12 0 0 1 1 2 2 2 2 2 2 0 0 0 1 
}{CSTYLE "_cstyle3" -1 204 "Courier" 1 10 0 0 255 1 2 2 2 2 2 2 0 0 0 
1 }{CSTYLE "_cstyle2" -1 205 "Times" 1 12 255 0 0 1 2 1 2 2 1 2 0 0 0 
1 }{CSTYLE "_cstyle1" -1 206 "Times" 1 24 0 0 1 1 2 2 2 2 2 2 0 0 0 1 
}{CSTYLE "2D Math Bold Small" -1 10 "Times" 0 1 0 0 0 0 0 1 2 2 2 2 0 
0 0 1 }{CSTYLE "Help Emphasized" -1 207 "" 0 1 0 0 0 0 1 2 0 2 2 2 0 
0 0 1 }{CSTYLE "Prompt" -1 1 "Courier" 0 1 0 0 0 1 0 0 0 2 2 2 0 0 0 
1 }{PSTYLE "_pstyle7" -1 206 1 {CSTYLE "" -1 -1 "Times" 1 24 0 0 1 1 
2 2 2 2 2 2 1 0 0 1 }3 1 0 0 8 4 2 0 2 0 2 2 -1 1 }{CSTYLE "_cstyle5" 
-1 208 "Times" 1 24 0 0 1 1 2 2 2 2 2 2 0 0 0 1 }{PSTYLE "_pstyle8" 
-1 207 1 {CSTYLE "" -1 -1 "Times" 1 12 255 0 0 1 2 1 2 2 1 2 1 0 0 1 }
1 1 0 0 0 0 2 0 2 0 2 2 -1 1 }{CSTYLE "_cstyle6" -1 209 "Times" 1 12 
255 0 0 1 2 1 2 2 1 2 0 0 0 1 }{PSTYLE "_pstyle9" -1 208 1 {CSTYLE "" 
-1 -1 "Courier" 1 10 0 0 255 1 2 2 2 2 2 2 1 0 0 1 }1 1 0 0 0 0 2 0 2 
0 2 2 -1 1 }{CSTYLE "_cstyle7" -1 210 "Courier" 1 10 0 0 255 1 2 2 2 
2 2 2 0 0 0 1 }{PSTYLE "_pstyle10" -1 209 1 {CSTYLE "" -1 -1 "Times" 
1 12 0 0 1 1 2 2 2 2 2 2 1 0 0 1 }1 1 0 0 0 0 2 0 2 0 2 2 -1 1 }
{CSTYLE "_cstyle8" -1 211 "Times" 1 12 0 0 1 1 2 2 2 2 2 2 0 0 0 1 }
{PSTYLE "_pstyle11" -1 210 1 {CSTYLE "" -1 -1 "Times" 1 12 0 0 1 1 2 
2 2 2 2 2 1 0 0 1 }1 1 0 0 0 0 2 0 2 0 2 2 -1 1 }{PSTYLE "_pstyle12" 
-1 211 1 {CSTYLE "" -1 -1 "Times" 0 1 0 0 255 1 0 0 2 2 2 2 1 0 0 1 }
3 3 0 0 0 0 2 0 2 0 2 2 -1 1 }{PSTYLE "_pstyle13" -1 212 1 {CSTYLE "" 
-1 -1 "" 0 1 0 0 0 0 0 0 0 2 2 2 0 0 0 1 }0 0 0 -1 -1 -1 2 0 2 0 2 2 
-1 1 }{PSTYLE "_pstyle14" -1 213 1 {CSTYLE "" -1 -1 "" 0 1 0 0 0 0 0 
0 0 2 2 2 0 0 0 1 }0 0 0 -1 -1 -1 1 0 1 0 2 2 -1 1 }}
{SECT 0 {EXCHG {PARA 206 "" 0 "" {TEXT 208 36 "Examples:  Matrix Boole
an Operations" }}}{EXCHG {PARA 207 "> " 0 "" {MPLTEXT 1 209 56 "libnam
e:=\"C:\\\\Program Files\\\\Maple 7\\\\boolean\", libname:" }}}{EXCHG 
{PARA 207 "> " 0 "" {MPLTEXT 1 209 30 "with(linalg): with(booleanop):"
 }}{PARA 208 "" 1 "" {TEXT 210 79 "Warning, the protected names norm a
nd trace have been redefined and unprotected" }{TEXT 210 1 "\n" }}}
{EXCHG {PARA 209 "" 0 "" {TEXT 211 77 "pp. 202-204 from K. Rosen, Disc
rete Mathematics and Its Applications, 5th ed." }}{PARA 210 "" 0 "" }}
{EXCHG {PARA 207 "> " 0 "" {MPLTEXT 1 209 60 "A:=matrix(2,3,[1,0,1,0,1
,0]);  B:=matrix(2,3,[0,1,0,1,1,0]);" }}{PARA 211 "" 1 "" {XPPMATH 20 
"6#>%\"AG-%'matrixG6#7$7%\"\"\"\"\"!F*7%F+F*F+" }}{PARA 211 "" 1 "" 
{XPPMATH 20 "6#>%\"BG-%'matrixG6#7$7%\"\"!\"\"\"F*7%F+F+F*" }}}{EXCHG 
{PARA 207 "> " 0 "" {MPLTEXT 1 209 10 "join(A,B);" }}{PARA 211 "" 1 ""
 {XPPMATH 20 "6#-%'matrixG6#7$7%\"\"\"F(F(7%F(F(\"\"!" }}}{EXCHG 
{PARA 207 "> " 0 "" {MPLTEXT 1 209 10 "meet(A,B);" }}{PARA 211 "" 1 ""
 {XPPMATH 20 "6#-%'matrixG6#7$7%\"\"!F(F(7%F(\"\"\"F(" }}}{EXCHG 
{PARA 207 "> " 0 "" {MPLTEXT 1 209 60 "A:=matrix(3,2,[1,0,0,1,1,0]);  \+
B:=matrix(2,3,[1,1,0,0,1,1]);" }}{PARA 211 "" 1 "" {XPPMATH 20 "6#>%\"
AG-%'matrixG6#7%7$\"\"\"\"\"!7$F+F*F)" }}{PARA 211 "" 1 "" {XPPMATH 
20 "6#>%\"BG-%'matrixG6#7$7%\"\"\"F*\"\"!7%F+F*F*" }}}{EXCHG {PARA 
207 "> " 0 "" {MPLTEXT 1 209 17 "booleanprod(A,B);" }}{PARA 211 "" 1 "
" {XPPMATH 20 "6#-%'matrixG6#7%7%\"\"\"F(\"\"!7%F)F(F(F'" }}}{EXCHG 
{PARA 207 "> " 0 "" {MPLTEXT 1 209 35 "A:=matrix(3,3,[0,0,1,1,0,0,1,1,
0]);" }}{PARA 211 "" 1 "" {XPPMATH 20 "6#>%\"AG-%'matrixG6#7%7%\"\"!F*
\"\"\"7%F+F*F*7%F+F+F*" }}}{EXCHG {PARA 207 "> " 0 "" {MPLTEXT 1 209 
21 "A2:=booleanprod(A,A);" }}{PARA 211 "" 1 "" {XPPMATH 20 "6#>%#A2G-%
'matrixG6#7%7%\"\"\"F*\"\"!7%F+F+F*7%F*F+F*" }}}{EXCHG {PARA 207 "> " 
0 "" {MPLTEXT 1 209 22 "A3:=booleanprod(A2,A);" }}{PARA 211 "" 1 "" 
{XPPMATH 20 "6#>%#A3G-%'matrixG6#7%7%\"\"\"\"\"!F*7%F*F*F+7%F*F*F*" }}
}{EXCHG {PARA 207 "> " 0 "" {MPLTEXT 1 209 22 "A4:=booleanprod(A3,A);"
 }}{PARA 211 "" 1 "" {XPPMATH 20 "6#>%#A4G-%'matrixG6#7%7%\"\"\"F*F*7%
F*\"\"!F*F)" }}}{EXCHG {PARA 207 "> " 0 "" {MPLTEXT 1 209 22 "A5:=bool
eanprod(A4,A);" }}{PARA 211 "" 1 "" {XPPMATH 20 "6#>%#A5G-%'matrixG6#7
%7%\"\"\"F*F*F)F)" }}}{EXCHG {PARA 209 "" 0 "" {TEXT 211 127 "Hint:  A
fter performing the command for A2, highlight the command, copy it, th
en use it (with changes) for subsequent commands." }}}{PARA 212 "" 0 "
" }{PARA 213 "" 0 "" }}{VIEWOPTS 1 1 0 1 1 1803 1 1 1 1 }{PAGENUMBERS 
0 1 2 33 1 1 }