Eqv Operator and Equivalence

The program uses the Eqv operator to test the equivalence of two statements.

``````'Eqv operator
'Demonstrates the Eqv operator and equivalence.
'**********************************************

#define False 0
#define True NOT False

Dim As Integer myInt1 = 4, myInt2 = 2

Print "myInt1 = ";myInt1;" myInt2 = ";myInt2
Print

'Both statements are true so are equivalent.
Print "Statement myInt1 < 5 eqv myInt2 > 1 ";
If (myInt1 < 5) Eqv (myInt2 > 1) = True Then
Print "is equivalent."
Else
Print "is not equivalent."
End If
Print

'Both statements are false so are equivalent.
Print "Statement myInt1 > 5 eqv myInt2 < 1 ";
If (myInt1 > 5) Eqv (myInt2 < 1) = True Then
Print "is equivalent."
Else
Print "is not equivalent."
End If
Print

'One is true, the other false so statement
'is not equivalent.
Print "Statement myInt1 > 5 eqv myInt2 < 1 ";
If (myInt1 > 3) Eqv (myInt2 < 1) = True Then
Print "is equivalent."
Else
Print "is not equivalent."
End If

Sleep
End```
```
{"ft_lang_label":"__label__en","ft_lang_prob":0.5465023,"math_prob":0.98799187,"size":978,"snap":"2020-10-2020-16","text_gpt3_token_len":302,"char_repetition_ratio":0.25051335,"word_repetition_ratio":0.3690476,"special_character_ratio":0.3384458,"punctuation_ratio":0.112426035,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9978917,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2020-04-10T00:21:35Z\",\"WARC-Record-ID\":\"<urn:uuid:0ded5357-cab7-4343-a187-7cdb15fe4d82>\",\"Content-Length\":\"27722\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:e5ecff5e-e398-4951-b4fd-e49344cf6ccb>\",\"WARC-Concurrent-To\":\"<urn:uuid:15ee685b-2a28-4b33-a965-4c5fffede8e4>\",\"WARC-IP-Address\":\"107.20.139.170\",\"WARC-Target-URI\":\"http://virtualink.wikidot.com/fbex15\",\"WARC-Payload-Digest\":\"sha1:XEJ4ZSCSIXA6RIYVLCXUF2T3CYFRICJL\",\"WARC-Block-Digest\":\"sha1:YMMALAQHXGCK5YXMJ3CGR5XINGAYGYQA\",\"WARC-Identified-Payload-Type\":\"application/xhtml+xml\",\"warc_filename\":\"/cc_download/warc_2020/CC-MAIN-2020-16/CC-MAIN-2020-16_segments_1585371880945.85_warc_CC-MAIN-20200409220932-20200410011432-00120.warc.gz\"}"}