FUNCTION ANDA(X,Y)
   IF X=1 AND Y=1 THEN
      LET ANDA=1
   ELSE
      LET ANDA=0
   END IF
END FUNCTION

FUNCTION ORA(X,Y)
   IF X=0 AND Y=0 THEN
      LET ORA=0
   ELSE
      LET ORA=1
   END IF
END FUNCTION

FUNCTION NOTA(X)
   IF X=1 THEN
      LET NOTA=0
   ELSE
      LET NOTA=1
   END IF
END FUNCTION

FUNCTION MAIDA(X,Y)
   LET MAIDA=ANDA(X,Y)
END FUNCTION

FUNCTION MAIDZ(X,Y)
   LET MAIDZ=NOTA(ORA(X,Y))
END FUNCTION

FUNCTION TAIDA(X,Y)
   IF X=1 AND Y=0 THEN
      LET TAIDA=0
   ELSE
      LET TAIDA=1
   END IF
END FUNCTION

FUNCTION TAIDZ(X,Y)
   IF X=0 AND Y=1 THEN
      LET TAIDZ=0
   ELSE
      LET TAIDZ=1
   END IF
END FUNCTION

PRINT
PRINT "包含命題 （ 集合Ａ が 集合Ｂ に含まれる場合 ）"
PRINT
PRINT "  Ａ  Ｂ     A<B  A[B"
PRINT " ====================="
FOR t=1 TO 4
   READ a,b
   LET f1=MAIDA(a,b)
   LET f2=TAIDA(a,b)
   PRINT "  ";a;" ";b;"    ";f1;"  ";f2
NEXT t
DATA 1,1,1,0,0,1,0,0
PRINT
PRINT
PRINT "      1 : 真      0 : 偽"
PRINT "      A<B = 数学的命題 （ Ａ ならば Ｂ である。）"
PRINT "      A[B = 哲学的命題 （ Ａ ならば Ｂ である。）"
PRINT
PRINT
PRINT
PRINT "逆包含命題 （ 集合Ｂ が 集合Ａ に含まれる場合 ）"
PRINT
PRINT "  Ａ  Ｂ     A<B  A[B"
PRINT " ====================="
FOR t=1 TO 4
   READ a,b
   LET f1=MAIDZ(a,b)
   LET f2=TAIDZ(a,b)
   PRINT "  ";a;" ";b;"    ";f1;"  ";f2
NEXT t
DATA 1,1,1,0,0,1,0,0
PRINT
END