Formula Representing Boolean Function

A Formula $F$ can represent a boolean function using Propositional Variable $x_1,\dots ,x_n$ using Truth Assignment.

Definition

For any Truth Assignment $\tau$,

• $\tau$ satisfies $F$ if $f(\tau (x_1),\dots ,\tau (x_n))=1$
• $\tau$ falsifies $F$ if $f(\tau (x_1),\dots ,\tau (x_n))=0$