and gate:
---------------

position on output_next
[-] // clear
position on input a
[ // if nonzero
    position on input b
    [ // if nonzero
        position on output_next
        + // this will execute only if both A and B are nonzero
        position on a // use as temporary variable
        [-] // make sure that we don't keep looping
    ]
]