Besonderhede van voorbeeld: -5620860008630110390

English

(s, m), which computes the truth value of a propositional logic sentence s in a model m.

Hungarian

(s,m) algoritmust, amely kiszámítja az s ítéletkalkulus mondatnak az igazságértékét egy m modellben.