Импликации как отдельной логической операции не существует
Это просто дизъюнкция + коньюкция