BEOLINGUS
Dictionary - TU Chemnitz

 German  English

Aussagenlogik {f} propositional calculus; propositional logic; statement logic

Erfüllbarkeit {f} satisfiability

Erfüllbarkeitsproblem der Aussagenlogik {f} Boolean Satisfiability Problem