ИТ
1000
Size: a a a
2020 September 20
G
можно начать с того, чтобы найти такую функцию. например, → нельзя выразить через и и или без не
А
Функция B=¯A считается?
A
можно начать с того, чтобы найти такую функцию. например, → нельзя выразить через и и или без не
например, а -> ( b -> a), если построить таблицу истинности то будет строчка с одними нулями,а значение функции = 1,и тогда мы говорим,что через кон и диз нельзя выразить,потому что они не могут дать 1 когда все нули?
G
например, почему нет?
G
0→х вообще при любом х даёт 1 vacuously
mq
не икс?
A
не икс?
x = x or x
mq
x = x or x
и?
A
и?
я думал ты про то, что x не выразить
mq
я думал ты про то, что x не выразить
не, я про НЕ х
A
ну да
A
вообще есть критерий Поста, он позволяет решать такие задачи в общем случае
G
вот, я никак не мог вспомнить как эта фигня называется
G
критерий Поста
G
и и, и или сохраняют ноль, поэтому они не могут выразить все булевы функции qed
G
или то же самое с сохранением единицы
q
Привет, ребят, можете подсказать, если не очень заняты!? Сходится или нет?
EZ
нет
q
за основу какую функцию для сравнения взяли?