
68 ∗ **a r e i d e n t i c a l , <i>comp (X) =cocomp (X)</ i>**

69 ∗ **<BR>** 70 ∗ **<b>Theorem 2.</b> <i>cocomp (X)</ i> c o n t a i n s <i>comp (X)</ i>**

71 ∗ 72 ∗ **@see Comp l em ent edLatt i c e#cocomp lement ( j av a . l an g . Ob j ec t )**

73 ∗/

74 L complement ( L aProposition ) ;

75

76 /∗∗ 77 ∗ Compute th e <b>complement</b> o f <i>t h i s </ i> and s t o r e th e **r e s u l t w i t h i n**

78 ∗ **<i>t h i s </ i >.**

79 ∗ **<BR><BR>**

80 ∗ **<b>D e f i n i t i o n .</b> The complement o f a p r o p o s i t i o n <i>X</i> o f a l a t t i c e <i>L</**←֓

i>

81 ∗ **i s : <i> comp(X) = <b>OR</b><sub>Y : Y AND X = z e r o </sub> Y </ i>**

82 ∗ **<BR><BR>**

83 ∗ **<b>Theorem 1.</b> I f th e l a t t i c e i s a b o o l e an a l g e b r a , th en complement and** ←֓

cocomp lement

84 ∗ **a r e i d e n t i c a l , <i>comp (X) =cocomp (X)</ i>**

85 ∗ **<BR>** 86 ∗ **<b>Theorem 2.</b> <i>cocomp (X)</ i> c o n t a i n s <i>comp (X)</ i>**

87 ∗

88 ∗ **@see Comp l em ent edLatt i c e#cocomp lement ( )** 89 ∗/

90 L complement **( ) ;**

91

92 /∗∗ 93 ∗ **Compute th e <b>cocomp lement</b> o f <i>a P r o p o s i t i o n </ i> and s t o r e th e r e s u l t**

94 ∗ **w i t h i n <i>t h i s </ i >.**

95 ∗

96 ∗ **<BR><BR>**

97 ∗ **<b>D e f i n i t i o n .</b> The cocomp lement o f a p r o p o s i t i o n <i>X</ i> o f a l a t t i c e <i>L**←֓

</ i>

98 ∗ **i s : <i> cocomp (X) = <b>AND</b><sub>Z : Z OR X = one</sub> Z </ i>** 99 ∗ **<BR><BR>**

100 ∗ **<b>Theorem 1.</b> I f th e l a t t i c e i s a b o o l e an a l g e b r a , th en complement and** ←֓

cocomp lement

101 ∗ **a r e i d e n t i c a l , <i>comp (X) =cocomp (X)</ i>** 102 ∗ **<BR>**

103 ∗ **<b>Theorem 2.</b> <i>cocomp (X)</ i> c o n t a i n s <i>comp (X)</ i>**

104 ∗ 105 ∗ **@see Comp l em ent edLatt i c e#complement ( j av a . l an g . Ob j e c t** )

106 ∗/

107 L cocomplement ( L aProposition ) ;

108 109 /∗∗

110 ∗ **Compute th e <b>cocomp lement</b> o f <i>t h i s </ i> and s t o r e th e r e s u l t**

111 ∗ **w i t h i n <i>t h i s </ i >.** 112 ∗

113 ∗ **<BR><BR>**

114 ∗ **<b>D e f i n i t i o n .</b> The cocomp lement o f a p r o p o s i t i o n <i>X</ i> o f a l a t t i c e <i>L**←֓

</ i>

115 ∗ **i s : <i> cocomp (X) = <b>AND</b><sub>Z : Z OR X = one</sub> Z </ i>**

116 ∗ **<BR><BR>**

117 ∗ **<b>Theorem 1.</b> I f th e l a t t i c e i s a b o o l e an a l g e b r a , th en complement and** ←֓

cocomp lement

118 ∗ **a r e i d e n t i c a l , <i>comp (X) =cocomp (X)</ i>**

119 ∗ **<BR>**

120 ∗ **<b>Theorem 2.</b> <i>cocomp (X)</ i> c o n t a i n s <i>comp (X)</ i>** 121 ∗

122 ∗ **@see Comp l em ent edLatt i c e#complement ( )**

123 ∗/

124 L cocomplement **( ) ;**

125 }
