屏東教育大學
屏東教育大學 應數系
http://www.math.nptu.edu.tw/ezfiles/115/1115/img/626/JHmathG11.pdf
施文奇的教學檔案
De Morgan Law (迪摩根定理)
(AUB)'=A'nB'
(AnB)'=A'U B'
U:{1,2,3,4,5,6,7,8,9,10};
A:{1,2,4,6};B:{1,3,4};
Ap:setdifference(U,A);
Bp:setdifference(U,B);
AuB;union(A,B);
AnB:intersect(A,B);
setdifference(U,AuB);
intersect(Ap,Bp);
setdifference(U,AnB);
union(Ap,Bp);