Algoritmik yapılarda koşul ifadelerini oluşturmak için genellikle VE (AND), VEYA (OR) ve DEĞİL (NOT) mantık bağlaçları doğrudan kullanılır. Ancak, bazı matematiksel mantık bağlaçları doğrudan bir programlama dilindeki 'if' veya 'while' koşuluna tek başına bir operatör olarak yansımaz ve genellikle diğer bağlaçlar aracılığıyla ifade edilir (örn: P \( \rightarrow \) Q ifadesi, \(
eg \) P \( \lor \) Q olarak yazılabilir). Aşağıdakilerden hangisi, genellikle doğrudan bir programlama koşulunda anahtar kelime/operatör olarak kullanılmayan, ancak diğer bağlaçlarla ifade edilebilen bir mantık bağlacıdır?
A) VE (AND)
B) VEYA (OR)
C) DEĞİL (NOT)
D) İSE (IMPLIES)
E) EŞİTLİK (EQUIVALENCE)