converse

<logic> The truth of a proposition of the form A => B and its converse B => A are shown in the following truth table:

	A   B | A => B   B => A
	------+----------------
	f   f |	  t	   t
	f   t |	  t	   f
	t   f |	  f	   t
	t   t |	  t	   t

Try this search on Wikipedia, OneLook, Google

Nearby terms: Convergent Technologies Operating System « Conversational LISP « Conversational Monitor System « converse » conversion to iteration » CONVERT » convert.f90