Pontosan leírjuk (elmondjuk), hogy a logikai változók (állítások) adott bekövetkezése esetén mi történik (mi lesz az eredmény).

Például ilyen volt a már említett nyomógombos szavazási rendszer működésének a szöveges megfogalmazása.