Logische Funktionsstrukturen bieten die Möglichkeit technische Systeme hinsichtlich der Informationsverarbeitung festzulegen und zu analysieren ohne dabei eine Realisierung der jeweiligen Funktionen anzugeben. Hierbei werden in abstrakter Form einzelne Zustände des gesamten Systems oder einzelner Systemelemente beschrieben und durch Verknüpfungsfunktionen (NICHT, UND, ODER) verknüpft. Ziel ist es den Ausgangszustand eines technischen Systems in abstrakter Form in Abhängigkeit einzelner Eingangsgrößen darzustellen.