Výroky
Výroky se už zabýval Charles P. Boole ten zjiěťoval jestli něco je nebo není pravda a tuto operaci můžeme zapsat i pomocí Binární Soustavy je důležité si pamatovat spojky:Takže spojka i platí pro logický součin a spojka a, nebo platí pro logický součet u logického součinu musí být ova výroky pravdivé a pokud nejsou výrok je nepravdivý. Logický součet stačí pokud jej jeden nebo duhý výrok pravdivý. Další vysvětlení příklady k tomuto tématu najdete v rubrice Odkazy k tématům.