Logikai függvények
A logikai függvények írják le a kapcsolatokat az egyes változók között, így a fogalmi azonosításokat és a következtetési láncokat, amelyek már az antikvitásban is használt szabályok (szillogizmusok) szerint működnek. Itt a példa mutatja, hogyan épül egy gépi tudat, vagy más megnevezéssel intelligens rendszer.