Log for YSITD
NASA to launch 247 petabytes of data into AWS – but forgot about egress costs (Score: 100+ in 6 hours)
Link: https://readhacker.news/s/4iQXt
Comments: https://readhacker.news/c/4iQXt
Link: https://readhacker.news/s/4iQXt
Comments: https://readhacker.news/c/4iQXt
not (p xnor q) <=> not ((p and q) or not (p or q)) <=> (not p or not q) and (p or q) <=> (p implies not q) and (not q implies p) <=> p xnor not q
完整版
完整版
另外xor proof: not (p xnor q) <=> not ((p and q) or not (p or q)) <=> (not p or not q) and (p or q) <=> not (p and q) and (p or q) <=> p xor q