0: false, 1: true, -: not, +: or, *: and, =>: imply, =: equivalent A, B, C, ... : variables (string except special characters) -- examples -- A+B = A or B A*B = A and B P=>Q = P implies Q -P+Q = Definition of impliy -(P*(-P+Q))+Q = Modus ponens (A*-B)+(-A*B) = XOR -(A+B)=(-A*-B) = De Morgan (P=>Q)*(Q=>R)=>(P=>R)
Written by Takashi Yamamiya, documentation, source code