A {{lab.strLogF()}}0 {{lab.strLogF()}}1 {{lab.strLogF()}}2 {{lab.strLogF()}}3
{{lab.strLog(false)}} {{lab.strLog(false)}} {{lab.strLog(false)}} {{lab.strLog(true)}} {{lab.strLog(true)}}
{{lab.strLog(true)}} {{lab.strLog(false)}} {{lab.strLog(true)}} {{lab.strLog(false)}} {{lab.strLog(true)}}

{{lab.strLogF()}}0 = {{lab.strLog(false)}}
{{lab.strLogF()}}1 = A
{{lab.strLogF()}}2 = A
{{lab.strLogF()}}3 = {{lab.strLog(true)}}
{{lab.L._19}}
{{lab.strLog(lab.data.A)}} 1 {{lab.strLog(!lab.data.A)}}
{{lab.L._20}}: A → {{lab.L._21}}: A
A = {{lab.strLog(lab.data.A)}} → A = {{lab.strLog(!lab.data.A)}}
{{lab.L._22}}
{{lab.L._20}}{{lab.L._21}}
A{{lab.strLogF()}} = A
{{lab.strLog(false)}}{{lab.strLog(true)}}
{{lab.strLog(true)}}{{lab.strLog(false)}}
A = {{lab.strLog(lab.data.A)}}
B = {{lab.strLog(lab.data.B)}}
C = {{lab.strLog(lab.data.C)}}