paragraph_text: Alternativni često korišteni model jest onaj u kojem su logičke (Booleove) kombinacije predstavljene kao formule logike sudova. Na primjer, pretpostavljajući da su kombinacije u disjunktivnoj normalnoj formi, pri čemu bi <math>\{\{q_1\}\{q_2,q_3\}\}</math> predstavljalo <math>q_1 \vee (q_2 \wedge q_3)</math> - stanje tt (istina) je predstavljeno sa <math>\{\{\}\}</math> u ovom slučaju, a stanje ff (laž) sa <math>\emptyset</math>. Predstavljanje u obliku formuli je obično učinkovitije.