Some models and implementations of digital logic functions using junction charge-coupled devices