операція логічного заперечення

сукупність всіх логічних операцій

функціонально повна система логічних операцій (булевих функцій), за допомогою якої можна виразити абсолютно будь-яку іншу логічну функцію

операція конюнкції та дизюнкції