BEGIN

    BOOLEAN PROCEDURE A(BOOL); BOOLEAN BOOL;
    BEGIN OUTCHAR('A'); A := BOOL;
    END A;

    BOOLEAN PROCEDURE B(BOOL); BOOLEAN BOOL;
    BEGIN OUTCHAR('B'); B := BOOL;
    END B;

    PROCEDURE OUTBOOL(BOOL); BOOLEAN BOOL;
        OUTCHAR(IF BOOL THEN 'T' ELSE 'F');

    PROCEDURE TEST;
    BEGIN
        PROCEDURE ANDTEST;
        BEGIN
            BOOLEAN X, Y, Z;
            FOR X := TRUE, FALSE DO
                FOR Y := TRUE, FALSE DO
                BEGIN
                    OUTTEXT("A("); OUTBOOL(X);
                    OUTTEXT(") AND ");
                    OUTTEXT("B("); OUTBOOL(Y);
                    OUTTEXT("): ");
                    Z := A(X) AND THEN B(Y);
                    OUTIMAGE;
                END;
        END ANDTEST;

        PROCEDURE ORTEST;
        BEGIN
            BOOLEAN X, Y, Z;
            FOR X := TRUE, FALSE DO
                FOR Y := TRUE, FALSE DO
                BEGIN
                    OUTTEXT("A("); OUTBOOL(X);
                    OUTTEXT(") OR ");
                    OUTTEXT("B("); OUTBOOL(Y);
                    OUTTEXT("): ");
                    Z := A(X) OR ELSE B(Y);
                    OUTIMAGE;
                END;
        END ORTEST;

        ANDTEST;
        ORTEST;

    END TEST;

    TEST;
END.