formulas using and'd expressions, which are then or'd.

and not are a complete set for logical formulas which can get from Truth table

vid get them from truth tables

See also Conjunctive normal form