Составьте программу, которая определяет является ли введенное целое число нечетным двузначным.

Скорее всего, это на Логические связи (тождественную истинность):

Формула является тождественно истинной, если она истинна при любых значениях входящих в неё переменных.

Отрицание тождественно истинной формулы будет, очевидно, тождественно ложной формулой, и обратно.

1) Все аксиомы суть тождественно истинные формулы

2) Применяя к тождественно истинным формулам правила вывода, мы получаем также тождественно истинные формулы.

Отсюда следует, что все выводимые формулы исчисления высказываний, рассматриваемые как формулы алгебры высказываний, являются тождественно истинными.

Не все формулы языка логики высказываний являются тождественно-истинными. Имеются также так называемые тождественно - ложные формулы — формулы, принимающие значение Л (ложь) при любых распределениях значений имеющихся в них пропозициональных переменных (символов). Любая тождественно-ложная формула представляет собой отрицание закона логики. Ясно также, что имеет место и обратное — отрицание тождественно-ложной формулы есть закон логики. Наконец, имеются формулы не тождественно-истинные и не тождественно ложные — такие, которые при одних распределениях значений пропозициональных переменных истинны, а при других -ложны.

Их называют обычно выполнимыми, имея в виду узкий смысл этого термина. В широком смысле выполнимыми — принимающими значение «истина» при каких-нибудь значениях переменных — являются и тождественно-истинные формулы.

Задача по расчету объемов информации.

Итак 1.5 Кб передаются за 210 секунд.  Переведем 1.5 Кб в байты 1кб=1024 байт

1.5 умножим на 1024 = 1536 байт.

Рассчитаем пропускную канала связи.

Для этого разделим объем на время.

1536/210

теперь

Узнаем скорость передачи второго файла.

Объем 512 байт, будет передаваться 512/(1536/210)=70 секунд.

Можно пойти другим путем и увидеть, что 512 это ровно в три раза меньше чем 1.5 кб и тогда понятно что файл, который имеет в три раза меньший размер будет передаваться в три раза быстрее, значит 210/3=70 секунд

70 секунд. 512/(1,5*1024/210)=70