Go backward to ExamplesGo up to TopGo forward to Logic Evaluator |

- Two numbers are
*relatively prime*if their gcd is 1:`x`and`y`are relatively prime : <=> gcd(`x`,`y`) = 1. - A number greater than 1 is
*prime*if its only divisors are 1 and itself:`x`is prime : <=>`x`> 1 /\ (**forall**y:`y`|`x`=> (`y`= 1 \/`y`=`x`)).

- 16 and 27 are relatively prime.
- (Only) the underlined numbers are prime:
0, 1, __2__,__3__, 4,__5__, 6,__7__, 8, 9, 10,__11__, 12,__13__, 14, 15, 16,__17__, ...

Author: Wolfgang Schreiner

Last Modification: November 16, 1999