12,179
edits
Changes
MyWikiBiz, Author Your Legacy — Tuesday December 16, 2025
Jump to navigationJump to searchDirectory talk:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 (view source)
Revision as of 15:04, 15 April 2013
, 15:04, 15 April 2013→6.37. Propositional Types
{| align="center" cellspacing="8" width="90%"
{| align="center" cellspacing="8" width="90%"
| <math>\operatorname{Explo}(X, Y, Z ~|~ 2) ~=~ \operatorname{Pow}(X \times Y) \times \operatorname{Pow}(X \times Z) \times \operatorname{Pow}(Y \times Z).\!</math>
| <math>\operatorname{Explo}(X, Y, Z ~|~ 2) ~=~ \operatorname{Pow}(X \times Y) \times \operatorname{Pow}(X \times Z) \times \operatorname{Pow}(Y \times Z)\!</math>
|}
|}
{| align="center" cellspacing="8" width="90%"
{| align="center" cellspacing="8" width="90%"
| <math>2^{XY} \times 2^{XZ} \times 2^{YZ} ~=~ 2^{(XY + XY + YZ)},\!</math>
| <math>2^{XY} \times 2^{XZ} \times 2^{YZ} ~=~ 2^{(XY + XY + YZ)}\!</math>
|}
|}
