Boolean formula
= Boolean formula
{c}
A Boolean formula is a finite expression built from <Boolean variables> and <Boolean operations>. A choice of truth values determines its value. The <Boolean satisfiability problem> asks whether some choice makes it true.