User:UBX/Logic
~(p&~p)
This user studies the concept of
logic
.