methods of primary formal circuit analysis 331380