Эквивалентность
1.Морковка не чистится и остается грязной тогда и только тогда,когда нож тупой и морковка грязная.2.Ты не спишь и бродишь в темноте тогда и только тогда,когда ты испытываешь бессонницу и причина её в том,что ты либо бодр,либо выпил кофе.
Импликация
1.Если не светит солнце и на улице мы видим звёзды,то на улице либо ночь,либо вечер.2.Если идет снег и на улице холодно,то сейчас зима и можно кататься либо на коньках,либо санках.