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