Tautologi

Et sammensat udsagn, som er sandt for alle sandhedsværdier af de indgående simple udsagn, kaldes en tautologi, fx $$p \vee \neg p$$.