

mệnh đề- Hàm Boolean được tạo thành chỉ bằng phép tuyển rời của các hằng thức logic.
Boolesche Funktion, die ausschließlich durch die disjunktive Verknüpfung von Literalen gebildet wird
điều khoản- Quy định riêng lẻ được xác định rõ ràng trong hợp đồng, hoặc hiếm hơn là trong luật hay quy chế.
genau definierte Einzelbestimmung in Vertragswerken oder seltener auch in Gesetzen oder Verordnungen
công thức- Dòng ghi chú trên bản sao có hiệu lực thi hành của một văn bản làm căn cứ, là điều kiện để cơ quan tư pháp tiến hành cưỡng chế thi hành.
Vermerk auf der vollstreckbaren Ausfertigung eines Titels als Voraussetzung für die Zwangsvollstreckung durch die Justiz
mật khẩu- Từ mật mã của một sổ tiết kiệm.
Losungswort eines Sparbuches