AA
Тоже не сложно
Size: a a a
2021 May 28
AA
Это первый курс
AB
Так мы по нарастающей пойдём!
AB
Следующей таской будет сделать преобразование Цейтина
AA
Не слышал о таком).
AA
Хоть и мат фак окончил
AB
Потому будем решать проблему выполнимости через DPLL
AB
Потом через CDCL
AB
Потом чо-нить с логикой первого порядка
AA
Весело)
В
bool A = true, B = true, C = false, Z;
double X = 1.5, Y = 2.5;
Z = Y < 3.5 | B & C | !(A | B & X < 1.9);
double X = 1.5, Y = 2.5;
Z = Y < 3.5 | B & C | !(A | B & X < 1.9);
В
Типа так?
В
Я ещё не понимаю, что крнкретно нужно в консоль выводить?
Б[
Булевой значение, тру или фолс
AS
Переслано от Anton Shvets
Что это за хрень на диване возникает? Уже весь диван в таком. И нет, это не сперма
EA
Программисты разберутся, жеж
AS
Ну да
AS
Тыжпрограммичт
EA
Логи есть?