Home オンライン 論理圧縮・論理式簡単化システム 論理あっしゅ君

複数の最簡形を持つが、共通の項はない論理式です。

c | c | |
---|---|---|

ab | 1 | 1 |

ab | 0 | 1 |

ab | 1 | 1 |

ab | 1 | 0 |

c | c | |
---|---|---|

ab | 1 | 1 |

ab | 0 | 1 |

ab | 1 | 1 |

ab | 1 | 0 |

Minimal Form (with ~) =

bc + a~c + ~a~b

ab + ~ac + ~b~c

Minimal Form (with overline) =

bc + ac + ab

ab + ac + bc

cd | cd | cd | cd | |
---|---|---|---|---|

ab | 0 | 0 | 0 | 0 |

ab | 0 | 1 | 1 | 1 |

ab | 0 | 1 | 0 | 1 |

ab | 0 | 1 | 1 | 1 |

cd | cd | cd | cd | |
---|---|---|---|---|

ab | 0 | 0 | 0 | 0 |

ab | 0 | 1 | 1 | 1 |

ab | 0 | 1 | 0 | 1 |

ab | 0 | 1 | 1 | 1 |

Minimal Form (with ~) =

a~bc + a~cd + bc~d + ~abd

ac~d + a~bd + ~abc + b~cd

Minimal Form (with overline) =

abc + acd + bcd + abd

acd + abd + abc + bcd

cd | cd | cd | cd | |
---|---|---|---|---|

ab | 1 | 0 | 1 | 1 |

ab | 1 | 1 | 1 | 0 |

ab | 0 | 1 | 1 | 1 |

ab | 1 | 1 | 0 | 1 |

cd | cd | cd | cd | |
---|---|---|---|---|

ab | 1 | 0 | 1 | 1 |

ab | 1 | 1 | 1 | 0 |

ab | 0 | 1 | 1 | 1 |

ab | 1 | 1 | 0 | 1 |

Minimal Form (with ~) =

~b~d + abc + a~cd + ~acd + ~ab~c

bd + ac~d + a~b~c + ~a~bc + ~a~c~d

Minimal Form (with overline) =

bd + abc + acd + acd + abc

bd + acd + abc + abc + acd