Laws of Thought

.pl

#!/usr/bin/env perl
use constant A => 1;
print "Identity\n"
  if A == A;
print "Non-contradiction\n"
  if A != !A;
print "Excluded middle\n"
  if !(A && !A);