Родились сегодня:
wadim21


Лидеры рейтинга

ID: 401284

Михаил Александров

Советник

378

Россия, Санкт-Петербург


ID: 259041

Алексеев Владимир Николаевич

Мастер-Эксперт

339

Россия, пос. Теплоозёрск, ЕАО


ID: 401888

puporev

Профессор

215

Россия, Пермский край


ID: 405338

vovaromanov.jr

1-й класс

117


ID: 400669

epimkin

Профессионал

111


ID: 242862

Hunter7007

Мастер-Эксперт

29

Россия, Омск


ID: 137394

Megaloman

Мастер-Эксперт

25

Беларусь, Гомель


8.10.2

13.10.2021

JS: 2.10.2
CSS: 4.6.0
jQuery: 3.6.0
DataForLocalStorage: 2021-10-23 05:16:01-standard


Консультации и решение задач по информатике.

Администратор раздела: Коцюрбенко Алексей Владимирович (Старший модератор)

Консультация онлайн # 108651

Раздел: Информатика
Автор вопроса: lyalya
Дата: 09.11.2007, 08:45 Консультация закрыта
Поступило ответов: 1

Пожалуйста помогите решить задачки по теоретической информатике.

6. Запишите машинное изображение в форме с фиксированной запятой для десятичного числа А=195, если величина разрядной сетки ЭВМ равна 16.
5.С помощью законов алгебры логики упростите функцию в базисе 1: f=(не(х1))х2(не(х3))+х1(не(х2))(не(х3))+х1х2(не(х3))
4. С помощью законов алгебры логики упростите функцию в базисе 1: f=(не(х1))(не(х2))(не(х3))+(не(х1))(не(х2))х3+х1х2(не(х3))+х1х2х3
3. Докажите тождественность функции
АВ+ВС+АС=не(А)не(В)+не(В)не(С)+не(А)не(С)
2.Докажите тождественность функции
не(АС+Вне(С))=не(А)не(С)+не(В)не(С)
1. Сравните логические функции и определите являются ли они тождественными:
f1=(x1@не(x2)) $(x1@не(x3)) и f2=(x1/x2)/(x2/x3)
@-сложение по модулю 2
$-дизъюнкция

Ответ # 192868 от Воробьёв Алексей Викторович
Здравствуйте, lyalya!

Мне пришлось сделать некоторые предположения о Ваших обозначениях. Если они не соответствуют, дайте знать.

1. Сравните логические функции и определите являются ли они тождественными:
f1=(x1@не(x2)) $(x1@не(x3)) и f2=(x1/x2)/(x2/x3)
@-сложение по модулю 2 (в современных языках программирования ^ или XOR)
$-дизъюнкция
~ отрицание

Если я правильно понял, то / вы обозначили штрих Шеффера: функцию, которая равна 0, только если оба аргумента 1 (И-НЕ).
Строим таблицу истинности:
x1 x2 x3 x1@~x2 x1@~x3 f1 x1/x2 x2/x3 f2
0 0 0 1 1 1 1 1 0
0 0 1 1 0 1 1 1 0
0 1 0 0 1 1 1 1 0
0 1 1 0 0 0 1 0 1
1 0 0 0 0 0 1 1 0
1 0 1 0 1 1 1 1 0
1 1 0 1 0 1 0 1 1
1 1 1 1 1 1 0 0 1
Как видно, f1 не тождественна f2.

2. Докажите тождественность функции
не(АС+Вне(С))=не(А)не(С)+не(В)не(С)
Это тождество неверно. Рассмотрим точки B(~A)(~C). Они не входят в левое множество, так как они входят в B(~C), а значит и в AC+B(~C).
Но они входят в (~A)(~C), т.е. входят в (~А)(~С)+(~В)(~С). Таким образом, множества не тождественны.
Попробуем найти правильное тождество. Используем ~(X+Y) = (~X)(~Y) и ~(XY) = ~X + ~Y и дистрибутивное свойство операций И и ИЛИ.
~(АС+В(~С)) = ~(AC)~(B(~C)) = (~A + ~C)(~B + C) = ~A~B + ~B~C + ~AC + ~CC = ~A~B + ~B~C + ~AC

3. Докажите тождественность функции
АВ+ВС+АС=не(А)не(В)+не(В)не(С)+не(А)не(С)
Это тождество тоже неверно. Правильное тождество:
не(АВ+ВС+АС)=не(А)не(В)+не(В)не(С)+не(А)не(С)

~A~B+~B~C+~A~C = ~(A + B) + ~(B + C) + ~(A + C) = ~((A+B)(B+C)(A+C)) = ~(ABA+ABC+ACA+ACC+BBA+BBC+BCA+BCC) = ~(AB+ABC+AC+AC+AB+BC+ABC+BC) =
= ~(AB + AC + BC + ABC)
BC = (A + ~A)BC = ABC + (~A)BC
BC + ABC = ABC + (~A)BC + ABC = ABC + (~A)BC = BC.
Окончательно ~A~B+~B~C+~A~C = ~(AB + BC + AC), ч.т.д.

4.С помощью законов алгебры логики упростите функцию в базисе 1: f=(не(х1))(не(х2))(не(х3))+(не(х1))(не(х2))х3+х1х2(не(х3))+х1х2х3

(~x1)(~x2)(~x3)+(~x1)(~x2)x3 = (~x1)(~x2)(~x3 + x3) = (~x1)(~x2)
х1х2(~х3) + х1х2х3 = x1x2(~x3 + x3) = x1x2
f = (~x1)(~x2) + x1x2

5.С помощью законов алгебры логики упростите функцию в базисе 1: f=(не(х1))х2(не(х3))+х1(не(х2))(не(х3))+х1х2(не(х3))
Сложим 1 и 3 члены
(~x1)x2(~x3) + x1x2(~x3) = (~x1 + x1)x2(~x3) = x2(~x3)
f = x1(~x2)(~x3) + x2(~x3) = (x1(~x2) + x2)(~x3) = (x1(~x2) + x1x2 + x2)(~x3) = (x1 + x2)(~x3) = x1(~x3) + x2(~x3)

6.Запишите машинное изображение в форме с фиксированной запятой для десятичного числа А=195, если величина разрядной сетки ЭВМ равна 16.
Тут всё зависит от конкретного процессора по-моему. 195 = 11000011. Сколько из 16 разрядов Вы отведёте под дробную часть - это Ваше дело.
Я рассмотрю случай 10+6 (знаковый бит, 9 двоичных цифр для целой части и 6 для дробной): 0 011000011 000000.


Воробьёв Алексей Викторович

Посетитель
09.11.2007, 11:21
Мини-форум консультации # 108651
Нет сообщений в мини-форуме
Возможность оставлять сообщения в мини-форумах консультаций доступна только после входа в систему.
Воспользуйтесь кнопкой входа вверху страницы, если Вы зарегистрированы или пройдите простую процедуру регистрации на Портале.

Лучшие эксперты раздела

Зенченко Константин Николаевич

Старший модератор

Рейтинг: 165

Gluck

9-й класс

Рейтинг: 79

Коцюрбенко Алексей Владимирович

Старший модератор

Рейтинг: 69

Megaloman

Мастер-Эксперт

Рейтинг: 25

CradleA

Мастер-Эксперт

Рейтинг: 1

Лысков Игорь Витальевич

Мастер-Эксперт

Рейтинг: 0