Wff-Calculator

Formula to Compute :

Submit

  Your List of Symbols is :                        Example ((p2q)4(1p))
 ¬[1] not
 Λ[2] and
 ν[3] or
 →[4] imp
 x[5] xor
 ↓[6] nor