# "logic-defs-a-01.prsimrc"
# @haco@ logic-defs-a.haco-a
# @hacprsim-flags@ -t and4

what p
what q
what t

getall p
getall q
getall t

watch p.a
watch q.b
watch t.c

set a 0
set b 0
set c 0
set d 0
cycle
fanin-get o

set a 1
set b 1
cycle
fanin-get o

set c 1
set d 1
cycle
fanin-get o

