A smart contract is a computer program or a transaction protocol that is intended to automatically execute, control or document events

Boolean algebra is a fundamental concept in mathematics and computer science that deals with the study of operations on logic values.

Permissionless blockchain, also known as public blockchain, is a type of blockchain that allows anyone to participate in the network without