Операция импликация называется иначе:

• Логическое умножение
• Логическое сложение
• Логическое следование
• Логическое равенство
• Логическое отрицание