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

А) простые высказывания:
Истинное высказывание: байт содержит восемь бит.
Ложное высказывание: килобайт содержит тысячу байт.
б) Предлагаемые простые высказывания:
А={Функция является арифметической};
В={Функция является вычислимой};
С={Функция является частично рекурсивной}
Могут образовать сложное (составное) высказывание:
на естественном языке (тезис Чёрча):
{Множество вычислимых арифметических функций совпадает со множеством частично рекурсивных функций (Арифметическая функция является вычислимой тогда и только тогда, когда она частично рекурсивна)};
на языке алгебры логики будет записано так:ABC