What is wff in ai?

Consider the proposition P union Q and Q union P.The truth table of these two propositions are identical irrespective of any proposition in place of P and any proposition in place of Q so we can develop the concept of well formed formulas(wff).For Example

f=(p union q)union(p->q)

BY

Sanjit Majee from Raghunathpur,Akunja