view tmp.pl @ 10:f2aa38ce0787

add state display.
author kono
date Fri, 19 Jan 2001 23:14:00 +0900
parents 1c57a78f1d98
children
line wrap: on
line source

tmp((
not(true& ?(^r,not(@ @ @ @empty),@ @ @ @empty)&true);
?(r^1,
   (not(true_false&true);not(r^2&true);not(r^1&true)),
   (not(true_false&true);not(r^2&true);r^2 & ^r,not(r^1&true))))).