top_and_or.v 263 Bytes