Normal person: ¬(Garbage | Trash) = okay to put here if it is not garbage and not trash
Computer programmers: ¬ Garbage | Trash = okay to put here if it is not garbage or it is trash, but since garbage and trash are the same thing and ¬P | P = 1, it’s okay to put anything here
Normal person: ¬(Garbage | Trash) = okay to put here if it is not garbage and not trash
Computer programmers: ¬ Garbage | Trash = okay to put here if it is not garbage or it is trash, but since garbage and trash are the same thing and ¬P | P = 1, it’s okay to put anything here