To demonstrate how computers work, [Alex Gorischek] has made a physical example of how binary logic gates work using pulleys and ... This includes: NOT, BUFFER, NAND, AND, OR, NOR, XOR, XNOR.