7 lines
111 B
Plaintext
7 lines
111 B
Plaintext
|
MODULE First;
|
||
|
|
CONST a,b : BOOLEAN;
|
||
|
|
VAR x,y,z : BOOLEAN;
|
||
|
|
BEGIN x := a & b; y := ~a OR b; z := a # b
|
||
|
|
END First.
|
||
|
|
|