Alternativ ist eine Herleitung auch anhand einer Wahrheitstabelle möglich, also ob eine weitere Formel für alle möglichen Belegungen immer das gleiche Ergebnis liefert, dann ist die semantische Folge erfüllt.