1)А->¬B
A B ¬B A->¬B
1 1 0 0
1 0 1 1
0 1 0 1
0 0 1 1
2)A->B->(AVB)
A B A->B AVB (A->B)->(AVB)
1 1 1 1 1
1 0 0 1 1
0 1 1 1 1
0 0 1 0 0
3)A->B->¬ C^¬A=(A->B)->(¬ C^¬A)
A B C A->B ¬ C^¬A (A->B)->(¬ C^¬A)
1 1 1 1 0 0
1 0 1 0 0 1
0 1 1 1 0 0
0 0 1 1 0 0
1 1 0 1 0 0
1 0 0 0 0 1
0 1 0 1 1 1
0 0 0 1 1 1
1) Название: Алгоритмы. Построение и анализ.
Автор: Томас Кормен, Чарльз Лейзерсон, Рональд Ривест, Клиффорд Штайн
Издательство: Вильямс
Год: 2012
Страниц: 1296 стр.
2) Компьютерная графика. Популярная энциклопедия.
Автор: В.И.Мураховский
Издательство: АСТ-Пресс
Год: 2002
Страниц 640 стр.
3) Компьюерная обработка информации
Автор: А.Н.Денисенко
Издательство: Медпрактика -М
Год: 2010
Издательство: СПб.: Питер
Год издания: 2010
Страниц: 161
5) Название: Технология. 2 класс. Учебник. Автор: Роговцева Н.И., Богданова Н.В., Добромыслова Н.В. Издательство: Просвещение Год издания: 2012
Страниц: 98
1)А->¬B
A B ¬B A->¬B
1 1 0 0
1 0 1 1
0 1 0 1
0 0 1 1
2)A->B->(AVB)
A B A->B AVB (A->B)->(AVB)
1 1 1 1 1
1 0 0 1 1
0 1 1 1 1
0 0 1 0 0
3)A->B->¬ C^¬A=(A->B)->(¬ C^¬A)
A B C A->B ¬ C^¬A (A->B)->(¬ C^¬A)
1 1 1 1 0 0
1 0 1 0 0 1
0 1 1 1 0 0
0 0 1 1 0 0
1 1 0 1 0 0
1 0 0 0 0 1
0 1 0 1 1 1
0 0 0 1 1 1
1) Название: Алгоритмы. Построение и анализ.
Автор: Томас Кормен, Чарльз Лейзерсон, Рональд Ривест, Клиффорд Штайн
Издательство: Вильямс
Год: 2012
Страниц: 1296 стр.
2) Компьютерная графика. Популярная энциклопедия.
Автор: В.И.Мураховский
Издательство: АСТ-Пресс
Год: 2002
Страниц 640 стр.
3) Компьюерная обработка информации
Автор: А.Н.Денисенко
Издательство: Медпрактика -М
Год: 2010
Страниц 252 4) Автор: Макарова Н.В.Издательство: СПб.: Питер
Год издания: 2010
Страниц: 161
5) Название: Технология. 2 класс. Учебник.
Автор: Роговцева Н.И., Богданова Н.В., Добромыслова Н.В.
Издательство: Просвещение
Год издания: 2012
Страниц: 98