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.
Пример
-> дает,корова,молоко,длинношеее,животное,жираф,катамаран.
а,е,о
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 = Винни-Пух не любит мёд или дверь в дом закрыта.
Таблица истинности: