4551
правка
Irina (обсуждение | вклад) |
Irina (обсуждение | вклад) |
||
Строка 22: | Строка 22: | ||
Эти же авторы изучали задачу проверки над булевой алгеброй {0, 1} с операциями <math>\{ \vee \wedge \}</math>, где техника снятия отпечатков пальцев неприменима. | Эти же авторы изучали задачу проверки над булевой алгеброй {0, 1} с операциями <math>\{ \vee, \wedge \}</math>, где техника снятия отпечатков пальцев неприменима. | ||
правка