Decidibilidad

Dicen los que programan ¡que es fácil! Yo no lo puedo asegurar y no estoy de acuerdo.

if a then b
if b then a
if a or b then null
if a and b then null
if null then null

¡Prefiero las tablas de multiplicar!