Bir felsefe öğrencisi, Descartes'in "Düşünüyorum öyleyse varım" önermesini programlama mantığıyla ifade etmeye çalışıyor. "Eğer düşünme eylemi gerçekleşiyorsa, varlık kesindir" şeklinde bir karar yapısı kurmak istiyor.
Bu mantıksal yapıyı temsil eden kod aşağıdakilerden hangisi olabilir?