Форум программистов, компьютерный форум, киберфорум
Python: Решение задач
Войти
Регистрация
Восстановить пароль
Блоги Сообщество Поиск Заказать работу  
 
Рейтинг 4.75/4: Рейтинг темы: голосов - 4, средняя оценка - 4.75
0 / 0 / 0
Регистрация: 12.11.2022
Сообщений: 28

С использованием таблиц истинности проверить, верно ли равенство(с матрицей)

13.03.2023, 19:38. Показов 905. Ответов 1
Метки нет (Все метки)

Студворк — интернет-сервис помощи студентам
С помощью таблиц истинности проверить, верно ли равенство(с матрицей)
Миниатюры
С использованием таблиц истинности проверить, верно ли равенство(с матрицей)  
0
IT_Exp
Эксперт
34794 / 4073 / 2104
Регистрация: 17.06.2006
Сообщений: 32,602
Блог
13.03.2023, 19:38
Ответы с готовыми решениями:

Проверить равенство с использованием функции
1+2+2^2+...2^(n-1)=2^n - 1 function Stepen2 (k: byte): longint; {два в степени} var Y : longint; j : byte; begin Y:= 2; ...

Упростите выражения. С использованием таблиц истинности докажите правильность упрощения
Помогите пожалуйста! (есть еще 2 примера, если можно напишу) (A V¬B V C)(A V B V C)( ¬A V ¬B V C)(¬A V B V ¬C) (¬A V B V C)

Проверить составлением таблиц истинности, будут ли эквивалентны указанные формулы
помогите пожалуйста, нужно: проверить составлением таблиц истинности, будут ли эквивалентны указанные формулы, если можно более подробно

1
 Аватар для kazak
3604 / 2744 / 356
Регистрация: 11.03.2009
Сообщений: 6,306
19.03.2023, 12:19
Python
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
fun_1 = []
fun_2 = []
print(f'a | b | c | d | e | fun_1 | fun_1')
print('---------------------------------')
for a in range(0, 2):
    for b in range(0, 2):
        for c in range(0, 2):
            for d in range(0, 2):
                for e in range(0, 2):
                    res_1 =int(a and b or c and not d or not e)
                    res_2 = int((a or b) and(c or not d) or e)
                    fun_1.append(res_1)
                    fun_2.append(res_2)
                    print(f'{a} | {b} | {c} | {d} | {e} |   {res_1}   |   {res_2}')
print(fun_1 == fun_2)
0
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
BasicMan
Эксперт
29316 / 5623 / 2384
Регистрация: 17.02.2009
Сообщений: 30,364
Блог
19.03.2023, 12:19
Помогаю со студенческими работами здесь

упростить логическое выражения. Правильность упращения проверить через таблиц истинности
таблица

ДМ. Логически доказать равенство; и что вложение верно, а обратное не верно; построить формулу
Здравствуйте, я понимаю, что тут не любители отвечать очередному Васе Пупкину. Но всё-же, буду очень признателе, если мне напишут...

Проверить, являются ли введенные числа вектором, квадратной матрицей или прямоугольной матрицей
На листе даны числа. Проверить, являются ли введенные числа вектором, квадратной матрицей или прямоугольной матрицей. Для решения...

Верно ли равенство?
(А \ B) \C = A \ (B \ C) Подскажите пожалуйста от чего отталкиваться при доказательстве? Или где можно в теории посмотреть нечто...

Верно ли равенство?
Есть ли верной равенство: (A×B)∩(C× D) = (A×C)∩(B× D) .


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
2
Ответ Создать тему
Новые блоги и статьи
SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D
8Observer8 04.03.2026
Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .
SDL3 для Web (WebAssembly): Идентификация объектов на Box2D v3 - использование userData и событий коллизий
8Observer8 02.03.2026
Содержание блога Финальная демка в браузере. Итоговый код: finish-collision-events-sdl3-c. zip https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11680&d=1772460536 Одним из. . .
Реалии
Hrethgir 01.03.2026
Нет, я не закончил до сих пор симулятор. Эта задача сложнее. Не получилось уйти в плавсостав, но оно и к лучшему, возможно. Точнее получалось - но сварщиком в палубную команду, а это значит, в моём. . .
Ритм жизни
kumehtar 27.02.2026
Иногда приходится жить в ритме, где дел становится всё больше, а вовлечения в происходящее — всё меньше. Плотный график не даёт вниманию закрепиться ни на одном событии. Утро начинается с быстрых,. . .
SDL3 для Web (WebAssembly): Сборка библиотек: SDL3, Box2D, FreeType, SDL3_ttf, SDL3_mixer и SDL3_image из исходников с помощью CMake и Emscripten
8Observer8 27.02.2026
Недавно вышла версия 3. 4. 2 библиотеки SDL3. На странице официальной релиза доступны исходники, готовые DLL (для x86, x64, arm64), а также библиотеки для разработки под Android, MinGW и Visual Studio. . . .
SDL3 для Web (WebAssembly): Реализация движения на Box2D v3 - трение и коллизии с повёрнутыми стенами
8Observer8 20.02.2026
Содержание блога Box2D позволяет легко создать главного героя, который не проходит сквозь стены и перемещается с заданным трением о препятствия, которые можно располагать под углом, как верхнее. . .
Конвертировать закладки radiotray-ng в m3u-плейлист
damix 19.02.2026
Это можно сделать скриптом для PowerShell. Использование . \СonvertRadiotrayToM3U. ps1 <path_to_bookmarks. json> Рядом с файлом bookmarks. json появится файл bookmarks. m3u с результатом. # Check if. . .
Семь CDC на одном интерфейсе: 5 U[S]ARTов, 1 CAN и 1 SSI
Eddy_Em 18.02.2026
Постепенно допиливаю свою "многоинтерфейсную плату". Выглядит вот так: https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11617&stc=1&d=1771445347 Основана на STM32F303RBT6. На борту пять. . .
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2026, CyberForum.ru