Logic2Logic is a tool to convert Boolean functions to different formats of representation (truth table, expression, BLIF, terms, BDD, factorized expression, integer). It includes options to compare and visualize functions.


Source Format:
Defines the format of the input file.
To do the conversion, the Source format must be selected according to the input text.

Target Format:
Defines the format of the output file.
When the conversion is done, the input text is converted to the selected Target format.

CONVERT:
Does the conversion of formats, converting from the Source format to the Target format.
Be sure to select the correct Source format when doing the conversion, or an exception message will be displayed.

Templates:
The templates provide some examples of descriptions of Boolean functions. You Can select a template to see how to create each type of description.


View BDD
Select this option to view the current description of Boolean function as a BDD (Binary Decision Diagram).
Be sure to select the correct Source format to view the BDD, because the input text will be converted to BDD.

View Truth Table
Select this option to view the current description of Boolean function as a Truth Table.
Be sure to select the correct Source format to view the Truth Table, because the input text will be converted to Truth Table.

Compare Descriptions
This tool provides a way to compare different formats of representation of Boolean functions.