Универсальные алгебры, порождаемые множествами выполняющих векторов биюнктивных и $r$-юнктивных булевых функций

DOI10.4213/mvk37zbMath1477.08008OpenAlexW2789631422MaRDI QIDQ4959022

Alexey V. Tarasov

Publication date: 15 September 2021

Published in: Matematicheskie Voprosy Kriptografii [Mathematical Aspects of Cryptography] (Search for Journal in Brave)

Full work available at URL: http://mathnet.ru/eng/mvk37

zbMATH Keywords

universal algebra\(r\)-CNF\(r\)-junctive functionsbijunctive functions

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Boolean functions (06E30)

Related Items (1)

Cвойства систем образующих универсальных алгебр, порождаемых булевыми биюнктивными функциями

Cites Work

• On properties of functions representable in the form of a 2-CNF
• The complexity of satisfiability problems
• Unnamed Item
• Unnamed Item

This page was built for publication: Универсальные алгебры, порождаемые множествами выполняющих векторов биюнктивных и $r$-юнктивных булевых функций