| |
|
|
| | Кто в булевой алгебре сечёт? Помогите составить таблицу истиности для примера/
Я незнаю в какой проге можно писать такие булевы символы (в ворде не нашёл), поэтому аттач прикрепил с рисунком. спасибо. | |
| |
|
|
| |
|
|
| |
для: rowa
(01.02.2007 в 00:35)
| | | Если пробел между переменными в первой скобке означает конъюнкцию, то ТИ выглядит так:
A B C F
0 0 0 0
0 0 1 0
0 1 0 0
0 1 1 0
1 0 0 1
1 0 1 0
1 1 0 1
1 1 1 1
|
В ворде набрать можно при помощи редактора формул: Вставка -> Объект... -> Microsoft Equation 3.0. | |
| |
|
|
| |
|
|
| |
для: Саня
(01.02.2007 в 00:44)
| | | Нет. Там должна быть дизъюнкция. А вот вы как-то поставили переменную C, F и непонятно какое у них значение. вот теперь благодаря вам нормально пример прикрепил в ворде. Мне бы хотябы на этом примере разобраться а там я остальные примеры похожы-разберу. | |
| |
|
|
| |
|
|
| |
для: rowa
(01.02.2007 в 02:31)
| | | Любая таблица истинности начинается с составления наборов нулей и единичек для всех переменных так, чтобы описать все комбинации 0 и 1 без повторений:
№ A B C F
1 0 0 0
2 0 0 1
3 0 1 0
4 0 1 1
5 1 0 0
6 1 0 1
7 1 1 0
8 1 1 1
Для удобства я пронумеровал наборы
|
F - это не переменная, а результат выполнения функции после подстановки соответствующего набора. После подстановки первого набора (A = 0; B = 0; C = 0) функция выглядит так:
(0v0)->(0&1)
Я подставил вместо переменных значения первого набора из таблицы в функцию. Единица в правой скобке получилась потому, что штрих над переменной обозначает отрицание. То есть, если переменная равна 0, её отрицание == 1 и наоборот.
Вот я подставил наборы в функцию и произвёл пошаговое преобразование по правилам булевых операторов v, &, -> и отрицания:
1. (0v0)->(0&1) = 0->0 = 1
2. (0v0)->(0&0) = 0->0 = 1
3. (0v1)->(0&1) = 1->0 = 0
4. (0v1)->(0&0) = 1->0 = 0
5. (1v0)->(1&1) = 1->1 = 1
6. (1v0)->(1&0) = 1->0 = 0
7. (1v1)->(1&1) = 1->1 = 1
8. (1v1)->(1&0) = 1->0 = 0
В конечном итоге я получил цифру - результат функции при определённых значениях переменных.
Получилась такая ТИ:
№ A B C F
1 0 0 0 1
2 0 0 1 1
3 0 1 0 0
4 0 1 1 0
5 1 0 0 1
6 1 0 1 0
7 1 1 0 1
8 1 1 1 0
|
| |
| |
|
|
| |
|
|
| |
для: Саня
(01.02.2007 в 02:58)
| | | Я просто немного не так делаю ТИ. Вот еще файл прикрепил с примером и решением, если можете проверьте плз и скажите правильно я решил. | |
| |
|
|
| |
|
|
| |
для: rowa
(01.02.2007 в 04:03)
| | | Где же Вы прикрепили? | |
| |
|
|
| |
 25.5 Кб |
|
| |
для: AlMag
(01.02.2007 в 11:44)
| | | блин. ща точно прикрепил | |
| |
|
|
| |
|
|
| |
для: rowa
(01.02.2007 в 12:05)
| | | Да, правильно. Только вместо X+Y надо было написать X&Y, иначе вводит в заблуждение. Плюсом обычно обозначается дизъюнкция.
Если вам удобно промежуточные результаты вписывать в ТИ - вписывайте. Но практический интерес представляют только значения функции на наборах переменных, входящих в её состав и сами наборы.
A B C AvB A&C' (AvB)->(A&C')
0 0 0 0 0 1
0 0 1 0 0 1
0 1 0 1 0 0
0 1 1 1 0 0
1 0 0 1 1 1
1 0 1 1 0 0
1 1 0 1 1 1
1 1 1 1 0 0
|
| |
| |
|
|
