Symbolic Logic and Truth Tables