Известно, что коньюкция и импликация образуют базис в пространстве булевых функций, сохраняющих единицу. Поэтому с их помощью можно выразить дизьюнкцию, как это сделать? задан 27 Ноя '11 2:46 Ignat |
Например, $%\left(x\rightarrow{y}\right)\rightarrow{y}$% — даже конъюнкция не нужна. А всё потому, что сама импликация есть базис класса функций вида «дизъюнкция одного из аргументов с чем угодно». отвечен 27 Ноя '11 8:13 Sergey Velder |