crazymaster
Сообщение
#5766 4.8.2007, 8:12
Является ли полной система булевых функций, состоящая из конъюнкции,
эквивалентности и сложения по модулю два?
вроде констант не хватает поэтому не полна так?
crazymaster
Сообщение
#5768 4.8.2007, 8:48
в учебнике пишут:
Для того чтобы система булевых функций была функционально полной, необходимо и достаточно, чтобы эта система включала:
- хотя бы одну функцию, не сохраняющую нуль;
- хотя бы одну функцию, не сохраняющую единицу;
- хотя бы одну нелинейную функцию;
- хотя бы одну немонотонную функцию;
- хотя бы одну не самодвойственную функцию;
это вроде как выполняется в этих функциях, но с другой стороны суперпозицией не выразить одну функцию через другие
Valerych
Сообщение
#5791 9.8.2007, 15:02
Эта система действительно полная.
Т.к. ни одну функцию нельзя выразить через остальные, то эта система ещё и независима.