Or[Not[x],z]==Nor[y, Not[z]]