

rs(R,S,Q,NQ) :-
	nand(R,NQ,Q),
	nand(S,Q,NQ).

nand(A,B,Out) :-
	A = 1,B = 1,
	@Out = 0.
nand(A,B,Out) :-
	A = 1,B = 0,
	@Out = 1.
nand(A,B,Out) :-
	A = 0,B = 1,
	@Out = 1.
nand(A,B,Out) :-
	A = 0,B = 0,
	@Out = 1.


test :- #(notEmpty),
	#read((R,S)),
	#rs(R,S,Q,NQ),
	#write((Q,NQ)).
