Dieser Artikel von Wikipedia ist u.U. veraltet. Die neue Version gibt es hier. Ein spezielles Erfüllbarkeitsproblem der Aussagenlogik heißt 3-SAT . 3sat ist der Name eines öffentlich-rechtlichen Fernsehsenders .
Gegründet wurde 3sat als deutschsprachiges Satelliten -Kulturprogramm vom deutschen ZDF dem österreichischen ORF und der schweizer Rundfunkanstalt SRG heute SRG SSR idée suisse . Sendebeginn war am 1. Dezember 1984 . 1993 stieg dann auch die ARD nach Einstellung ihres Satellitenkanals Eins Plus zum 1. Dezember 1993 mit ein 3sat wurde zum Vollprogramm .
Der Sender wird über den Satellit Astra in Europa ausgestrahlt und ist auch über das Kabelnetz empfangbar . Federführend ist das ZDF Entscheidungen werden Konsens der Partner getroffen.