מתוך ויקיפדיה, האנציקלופדיה החופשית
היא האנטרופיה של
בהינתן שתוצאתו של משתנה אקראי
היא
. לפיכך ההגדרה לאנטרופיה מותנית של משתנים בדידים היא:

במקרה של משתנים רציפים, מחליפים את הסכומים באינטגרלים.
לכל שני משתנים אקראיים
ו-
:

(כאשר
היא האינפורמציה ההדדית)
, ושוויון מתקבל רק כאשר המשתנים בלתי תלויים. בדומה,
, עם שוויון באותם תנאים.
, ושוויון מתקבל רק כאשר
ו-
הפיכה על תחום הערכים ש-X מקבל.