Klauzula (matematyka)
Z Wikipedii, wolnej encyclopedia
Klauzula – zbiór formuł logicznych. Klauzulę nazywamy prawdziwą wtedy i tylko wtedy, gdy alternatywa jej formuł logicznych jest prawdziwa. Klauzula pusta jest zawsze fałszywa.
Ten artykuł od 2021-02 wymaga zweryfikowania podanych informacji. |