User Tools

Site Tools



This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision Both sides next revision
normalize [2017/11/14 07:20]
waruna [Normalization Rules]
normalize [2017/11/14 07:22]
waruna [Normalization Rules]
Line 13: Line 13:
   - <​latex>​ $(e_{1} \oplus e_{2}).f \Rightarrow (e_{1}.f) \oplus (e_{2}.f)$ </​latex>​   - <​latex>​ $(e_{1} \oplus e_{2}).f \Rightarrow (e_{1}.f) \oplus (e_{2}.f)$ </​latex>​
   - <​latex>​ $(D:​e_{1})\oplus e_{2} \Rightarrow D:(e_{1} \oplus e_{2})$</​latex>​   - <​latex>​ $(D:​e_{1})\oplus e_{2} \Rightarrow D:(e_{1} \oplus e_{2})$</​latex>​
-  - <​latex>​ $e_{1}\oplus (D: e_{2}) \Rightarrow D:(e_{1} \oplus e_{2})$</​latex>​+  - <​latex>​ $e_{1}\oplus (D: e_{2}) \Rightarrow D:(e_{2} \oplus e_{2})$</​latex>​
   - <​latex>​ $(e\dot f_{1}). f_{2} \Rightarrow e . f$, where $f = f_{1} o f_{2}$</​latex>​   - <​latex>​ $(e\dot f_{1}). f_{2} \Rightarrow e . f$, where $f = f_{1} o f_{2}$</​latex>​
   - <​latex>​ $D_{1}:​(D_{2}:​e) \Rightarrow D:e$, where $D=D_{1} \cap D_{2}$ </​latex>​   - <​latex>​ $D_{1}:​(D_{2}:​e) \Rightarrow D:e$, where $D=D_{1} \cap D_{2}$ </​latex>​
normalize.txt ยท Last modified: 2017/11/14 07:50 by waruna