Изменения

<br>

Доказательство строится на том, что простая логика, необходимая для построения МТ, может быть построена в игре "Жизнь":

* ленту(с ячейками памяти)

* головку записи-чтения

Ячейки памяти можно построить с помощью стабильныx конструкций<br>

Можно также построить c помощью планеров: наличие планера {{---}} <tex>1</tex>, отсутствие {{---}} <tex>0</tex>.<br>

===Булевы функции===