Дано истинностное присваивание p = False; q = False; r = True. Какая из формул принимает значение True для этого присваивания?
Дано истинностное присваивание p = True; q = False; r = True. Какая из формул принимает значение True для этого присваивания?
В программировании булевские переменные и выражения могут принимать три значения – True, False, Undefined (неопределено). Пусть переменная p имеет значение False, а q – Undefined. Какие из выражений будут иметь значение Undefined?
В программировании булевские переменные и выражения могут принимать три значения – True, False, Undefined (неопределено). Пусть переменная p имеет значение True, а q – Undefined. Какие из выражений будут иметь значение Undefined?
Пусть (e) or (v) = False, где e и v – два булевских выражения. Согласно принципу дизъюнкции это означает, что:
Пусть (e) and (v) = True, где e и v – два булевских выражения. Согласно принципу конъюнкции это означает, что:
Пусть заданы множества слов: S1 = { племя, око, кот, питон}, S2 = { мама, мак, мел, потоп, папа, компас}. Укажите формулы теории предикатов, принимающих истинные значения. Здесь Forall обозначает квантор всеобщности, Exist – квантор существования, s[i] это i-й символ слова s
Определим отношение "имеет". А имеет В означает, что В некоторая возможная составляющая часть А (А содержит или знает о В). Укажите высказывания, справедливые для отношения "имеет".
В тексте класса LINE_BUILDING дано объявление fancy_line: LINE, задающее воображаемую линию метро. Предположим, что задано еще одно объявление - real_line: LINE. Какие утверждения справедливы для этих двух сущностей?
Предположим, что определены классы Car и Owner_of_car, моделирующие понятия "машина" и "владелец машины". У класса Car определены методы set_owner, mark, color, owner (Команда, позволяющая задать владельца, и три запроса, определяющие марку, цвет и владельца машины). У класса Owner_of_car определен запрос name, возвращающий имя владельца машины. Будем полагать, что определены объекты этих классов – my_car и my_person. Какая программа в соответствии с уже заданными правилами позволяет задать для объекта my_car владельца машины и вывести на консоль свойства, характеризующие марку, цвет машины и имя владельца:
