Created by Jesse Rappaport
Enter propositions in standard or Polish notation."If (p and VxFx) then Fa" <=> "CKpVxFxFa"
The argument is: