Propositional logic

Home
~(
P
&
P

Slot 1

~(

Slot 2

P~PQ~Q

Slot 3

&/

Slot 4

P~PQ~Q