section_heading: Booleova logika
paragraph_text: SKI kombinatorni račun također može ostvariti bulovsku logiku u obliku ako-tada-inače strukture. Ako-tada-inače struktura se sastoji od bulovskog izraza koji je ili T (true - istinit) ili F (false - lažan), takvih da: i