quantum logic

quantum logic