Also known as functionally complete
property of a set of logical connectives which can express all possible truth tables by combining members of the set
Функциональная полнота множества логических операций или булевых функций — это возможность выразить все возможные значения таблиц истинности с помощью формул из элементов этого множества. Математическая логика обычно использует такой набор операций: конъюнкция, дизъюнкция, отрицание, импликация и эквиваленция. Это множество операций является функционально полным. Но оно не является минимальной функционально полной системой, поскольку: Таким образом также является функционально полной системой. Но также может быть выражено (в соответствии с законом де Моргана) как: также может быть определена через подобным образом. Также может быть выражена через следующим образом: Итак и одна из является минимальной функционально полной системой.
Abstract from DBpedia / Wikipedia · CC BY-SA
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).