Timing Verification

Let us consider the infinite point set C = [A,B] as an intercept of A,B straight row. Let us introduce the following logical operation on the C set:

Conjunction (6.1) Y ≡ X 1 ∧ X 2 = min  ( X 1 , X 2 ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781315222110/739455f1-d3bb-44e3-8b5d-612f11efed7f/content/eq209.tif"/>

Disjunction (6.2) Y ≡ X 1 ∨ X 2 = max     ( X 1 , X 2 ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781315222110/739455f1-d3bb-44e3-8b5d-612f11efed7f/content/eq210.tif"/>

Negation (6.3) Y ≡     X ¯   =   A   +   B   −   X https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781315222110/739455f1-d3bb-44e3-8b5d-612f11efed7f/content/eq211.tif"/>