productes connectius

A [⋀] B = {<x,y> : x€A ⋀ y€B }
A [⋁] B = {<x,y> : x€A ⋁ y€B }


x€A ⋀ x€B <==> x€A[M]B
x€A ⋁ x€B <==> x€A[W]B


A[xor] B = {<x,y> : x€A xor y€B }


x€A xor x€B <==> x€(A[W]B) [-] (A[M]B)


A [⋀] B = {<x,y> : x€{a,b} ⋀ y€{a,c} } = { <a,a>,<a,c>,<b,a>,<b,c> }
A [⋁] B = {<x,y> : x€{a,b} ⋁ y€{a,c} } = { <a,a>,<a,c>,<b,a>,<b,c>,<b,b>,<c,c> }
A [xor] B = {<x,y> : x€{a,b} xor y€{a,c} } = { <b,b>,<c,c> }


x€A ⋀ y€A <==> y€A ⋀ x€A
x€B ⋀ y€B <==> y€B ⋀ x€B