Логическая операция, ставящая в соответствие каждым двум простым высказываниям составное высказывание, являющееся ложным тогда и только тогда, когда условие истинно, а следствие ложно. Что это?

• Импликация
• Конъюнкция
• Дизъюнкция