Результати розв'язання задачі можуть бути отримані в різних формахкількісній, описовій, графічній та ін.тільки в описовійтільки в кількіснійтільки в графічній​

1. A & B: В Африке водятся жирафы, и в Мурманске идёт снег.
A | B: В Африке водятся жирафы, или в Мурманске идёт снег.
A xor B: В Африке водятся жирафы, или в Мурманске идёт снег, но не одновременно.
A -> B: Если в Африке водятся жирафы, то в Мурманске идёт снег.
!A & !B: В Африке не водятся жирафы, и в Мурманске не идёт снег.
Возможны и другие высказывания. & - логическое и, | - логическое или, xor - исключающее или, ! - отрицание, -> - импликация.

2. A = "Винни-Пух любит мёд"
B = "Дверь в дом открыта"
Исходное высказывание через A, B записывается так: A & B.
Нужно построить отрицание !(A & B). По законам де Моргана это еще эквивалентно такому: !A | !B.
!(A & B) = Неверно, что Винни-Пух любит мёд и дверь в дом открыта.
!A | !B = Винни-Пух не любит мёд или дверь в дом закрыта.

Таблица истинности:

Было занятно сделать все это в виде одного оператора)))

// PascalABC.NET 3.2, сборка 1439 от 09.05.2017
// Внимание! Если программа не работает, обновите версию!

begin
  ReadlnString('->').ToWords(Arr(',','.'))
      .Select(w->w.Where(c->Pos(c,'аеёиоуыэюя')>0).GroupBy(x->x)
      .Select(x->(x.Key,x.Count)).Where(x->x[1]>2)).Where(x->x.Count>0)
      .SelectMany(x->x).Select(x->x.Item1).Distinct.OrderBy(x->x)
      .Println(',')
end.

Пример
-> дает,корова,молоко,длинношеее,животное,жираф,катамаран.
а,е,о