In conjunction with truth constants denoting each truth-value, conditioned disjunction is truth-functionally complete for classical logic.
В сочетании с константами, обозначающими каждое истинное значение, условная дизъюнкция является функционально полной для классической логики.