File:CNF dDNNF AC.png

From UBC Wiki

CNF_dDNNF_AC.png(674 × 206 pixels, file size: 11 KB, MIME type: image/png)

Summary

Description
English: Converting a CNF to a d-DNNF and then to an AC. The arithmetic circuit is created by replacing conjunctions with multiplications and disjunctions with addition.
Date 1 February 2019(2019-02-01)
File source Own Work
Author HoomanHashemi

Licensing

I, the copyright holder of this work, hereby publish it under the following license:
Some rights reserved
Permission is granted to copy, distribute and/or modify this document according to the terms in Creative Commons License, Attribution-ShareAlike 4.0. The full text of this license may be found here: CC by-sa 4.0
Attribution-Share-a-like

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeThumbnailDimensionsUserComment
current03:04, 2 February 2019Thumbnail for version as of 03:04, 2 February 2019674 × 206 (11 KB)HoomanHashemi (talk | contribs)User created page with UploadWizard

The following page uses this file: