## Propositional Logic

1 | 0 | ~P | P & Q | P + Q | P > Q | P = Q | P # Q | P | Q |

true | false | not | and | or | implies | equivalent | xor | sheffer stroke |

1 | 0 | ~P | P & Q | P + Q | P > Q | P = Q | P # Q | P | Q |

true | false | not | and | or | implies | equivalent | xor | sheffer stroke |