truthTableToSymbolic {BoolNet} | R Documentation |

## Convert a network in truth table representation into a symbolic representation

### Description

Converts an object of class `BooleanNetwork`

into an object of class `SymbolicBooleanNetwork`

by generating symbolic expression trees.

### Usage

```
truthTableToSymbolic(network, generateDNFs = FALSE)
```

### Arguments

`network` |
An object of class |

`generateDNFs` |
This parameter specifies whether formulae in Disjunctive Normal Form are generated instead of the parsing the string expressions that describe the transition functions. If set to FALSE, the original expressions are parsed. If set to "canonical", a canonical Disjunctive Normal Form is generated from each truth table. If set to "short", the canonical DNF is minimized by joining terms (which can be time-consuming for functions with many inputs). If set to TRUE, a short DNF is generated for functions with up to 12 inputs, and a canonical DNF is generated for functions with more than 12 inputs. |

### Value

Returns an object of class `SymbolicBooleanNetwork`

, as described in `loadNetwork`

.

### See Also

`truthTableToSymbolic`

, `loadNetwork`

### Examples

```
## Not run:
# Convert a truth table representation into a
# symbolic representation and back
data(cellcycle)
symbolicNet <- truthTableToSymbolic(cellcycle)
print(symbolicNet)
ttNet <- symbolicToTruthTable(symbolicNet)
print(cellcycle)
## End(Not run)
```

*BoolNet*version 2.1.9 Index]