12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Tuesday April 15, 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
Line 98:
Line 98:
{| 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>
|}
|}
Line 108:
Line 108:
{| 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>
|}
|}
