/dports/devel/boost-docs/boost_1_72_0/libs/icl/doc/ |
H A D | semantics.qbk | 193 [h5 Distributivity Laws] 205 Distributivity<S,+,&,=v= > : S a,b,c; a + (b & c) =v= (a + b) & (a + c) 206 Distributivity<S,&,+,=v= > : S a,b,c; a & (b + c) =v= (a & b) + (a & c) 219 Distributivity joining == == 454 [h5 Distributivity Laws] 457 Distributivity<C,+,&,=v= > : C a,b,c; a + (b & c) =v= (a + b) & (a + c) 458 Distributivity<C,&,+,=v= > : C a,b,c; a & (b + c) =v= (a & b) + (a & c) 470 Distributivity joining == ==
|
/dports/devel/boost-python-libs/boost_1_72_0/libs/icl/doc/ |
H A D | semantics.qbk | 193 [h5 Distributivity Laws] 205 Distributivity<S,+,&,=v= > : S a,b,c; a + (b & c) =v= (a + b) & (a + c) 206 Distributivity<S,&,+,=v= > : S a,b,c; a & (b + c) =v= (a & b) + (a & c) 219 Distributivity joining == == 454 [h5 Distributivity Laws] 457 Distributivity<C,+,&,=v= > : C a,b,c; a + (b & c) =v= (a + b) & (a + c) 458 Distributivity<C,&,+,=v= > : C a,b,c; a & (b + c) =v= (a & b) + (a & c) 470 Distributivity joining == ==
|
/dports/databases/percona57-pam-for-mysql/boost_1_59_0/libs/icl/doc/ |
H A D | semantics.qbk | 193 [h5 Distributivity Laws] 205 Distributivity<S,+,&,=v= > : S a,b,c; a + (b & c) =v= (a + b) & (a + c) 206 Distributivity<S,&,+,=v= > : S a,b,c; a & (b + c) =v= (a & b) + (a & c) 219 Distributivity joining == == 454 [h5 Distributivity Laws] 457 Distributivity<C,+,&,=v= > : C a,b,c; a + (b & c) =v= (a + b) & (a + c) 458 Distributivity<C,&,+,=v= > : C a,b,c; a & (b + c) =v= (a & b) + (a & c) 470 Distributivity joining == ==
|
/dports/databases/percona57-server/boost_1_59_0/libs/icl/doc/ |
H A D | semantics.qbk | 193 [h5 Distributivity Laws] 205 Distributivity<S,+,&,=v= > : S a,b,c; a + (b & c) =v= (a + b) & (a + c) 206 Distributivity<S,&,+,=v= > : S a,b,c; a & (b + c) =v= (a & b) + (a & c) 219 Distributivity joining == == 454 [h5 Distributivity Laws] 457 Distributivity<C,+,&,=v= > : C a,b,c; a + (b & c) =v= (a + b) & (a + c) 458 Distributivity<C,&,+,=v= > : C a,b,c; a & (b + c) =v= (a & b) + (a & c) 470 Distributivity joining == ==
|
/dports/databases/xtrabackup/boost_1_59_0/libs/icl/doc/ |
H A D | semantics.qbk | 193 [h5 Distributivity Laws] 205 Distributivity<S,+,&,=v= > : S a,b,c; a + (b & c) =v= (a + b) & (a + c) 206 Distributivity<S,&,+,=v= > : S a,b,c; a & (b + c) =v= (a & b) + (a & c) 219 Distributivity joining == == 454 [h5 Distributivity Laws] 457 Distributivity<C,+,&,=v= > : C a,b,c; a + (b & c) =v= (a + b) & (a + c) 458 Distributivity<C,&,+,=v= > : C a,b,c; a & (b + c) =v= (a & b) + (a & c) 470 Distributivity joining == ==
|
/dports/databases/percona57-client/boost_1_59_0/libs/icl/doc/ |
H A D | semantics.qbk | 193 [h5 Distributivity Laws] 205 Distributivity<S,+,&,=v= > : S a,b,c; a + (b & c) =v= (a + b) & (a + c) 206 Distributivity<S,&,+,=v= > : S a,b,c; a & (b + c) =v= (a & b) + (a & c) 219 Distributivity joining == == 454 [h5 Distributivity Laws] 457 Distributivity<C,+,&,=v= > : C a,b,c; a + (b & c) =v= (a + b) & (a + c) 458 Distributivity<C,&,+,=v= > : C a,b,c; a & (b + c) =v= (a & b) + (a & c) 470 Distributivity joining == ==
|
/dports/devel/boost-libs/boost_1_72_0/libs/icl/doc/ |
H A D | semantics.qbk | 193 [h5 Distributivity Laws] 205 Distributivity<S,+,&,=v= > : S a,b,c; a + (b & c) =v= (a + b) & (a + c) 206 Distributivity<S,&,+,=v= > : S a,b,c; a & (b + c) =v= (a & b) + (a & c) 219 Distributivity joining == == 454 [h5 Distributivity Laws] 457 Distributivity<C,+,&,=v= > : C a,b,c; a + (b & c) =v= (a + b) & (a + c) 458 Distributivity<C,&,+,=v= > : C a,b,c; a & (b + c) =v= (a & b) + (a & c) 470 Distributivity joining == ==
|
/dports/databases/mysqlwsrep57-server/boost_1_59_0/libs/icl/doc/ |
H A D | semantics.qbk | 193 [h5 Distributivity Laws] 205 Distributivity<S,+,&,=v= > : S a,b,c; a + (b & c) =v= (a + b) & (a + c) 206 Distributivity<S,&,+,=v= > : S a,b,c; a & (b + c) =v= (a & b) + (a & c) 219 Distributivity joining == == 454 [h5 Distributivity Laws] 457 Distributivity<C,+,&,=v= > : C a,b,c; a + (b & c) =v= (a + b) & (a + c) 458 Distributivity<C,&,+,=v= > : C a,b,c; a & (b + c) =v= (a & b) + (a & c) 470 Distributivity joining == ==
|
/dports/devel/hyperscan/boost_1_75_0/libs/icl/doc/ |
H A D | semantics.qbk | 193 [h5 Distributivity Laws] 205 Distributivity<S,+,&,=v= > : S a,b,c; a + (b & c) =v= (a + b) & (a + c) 206 Distributivity<S,&,+,=v= > : S a,b,c; a & (b + c) =v= (a & b) + (a & c) 219 Distributivity joining == == 454 [h5 Distributivity Laws] 457 Distributivity<C,+,&,=v= > : C a,b,c; a + (b & c) =v= (a + b) & (a + c) 458 Distributivity<C,&,+,=v= > : C a,b,c; a & (b + c) =v= (a & b) + (a & c) 470 Distributivity joining == ==
|
/dports/math/p5-Math-MatrixReal/Math-MatrixReal-2.13/ |
H A D | Kleene.pod | 30 Distributivity holds, i.e., 48 Distributivity for infinite series also holds, i.e.,
|
/dports/math/gap/gap-4.11.0/pkg/sonata-2.9.1/doc/ref/ |
H A D | manual.toc | 38 \seccontents {2.21}{Distributivity in a nearring} {24}
|
H A D | manual.idx | 83 \indexentry {Distributivity in a nearring@Distributivity in a nearring|indexit}{24}
|
H A D | manual.six | 85 S 2.21. Distributivity in a nearring
|
H A D | manual.lab | 88 \makelabel{sonata:Distributivity in a nearring}{2.21}
|
H A D | nr.tex | 622 \Section{Distributivity in a nearring}
|
/dports/misc/otter/otter-3.3f/examples/fringe/ |
H A D | bring.in | 87 P1((A & (B | C)) <--> ((A & B) | (A & C))). % Distributivity
|
H A D | if.in | 100 P1((A & (B | C)) <--> ((A & B) | (A & C))). % Distributivity (=1)
|
/dports/devel/py-boolean.py/boolean.py-3.8/docs/ |
H A D | concepts.rst | 197 Distributivity subsection
|
/dports/lang/v8/v8-9.6.180.12/test/cctest/ |
H A D | test-types.cc | 994 void Distributivity() { in Distributivity() function 1073 TEST(Distributivity) { Tests().Distributivity(); } in TEST() argument
|
/dports/lang/ceylon/ceylon-1.3.3/doc/en/spec/info/ |
H A D | ceylon-spec.info-1 | 1689 * Distributivity over union: 'X&<Y|Z>' is the same type as
|
H A D | ceylon-spec.texi | 2392 Distributivity over union: @code{X&<Y|Z>} is the same
|